context: It is unlikely that John went to the garden. It is unlikely that Sandra grabbed the milk. It is highly likely that Brian is green. It is probable that if either 'Brian is green' or 'Sandra grabbed the milk' but not both then Greg is a rhino. It is probably not the case that if either 'Brian is green' or 'Sandra grabbed the milk' but not both then Bernhard is a swan. It is unlikely that if 'Sandra grabbed the milk' or 'John went to the garden' or both then Jason is tired.
hypothesis: It is highly unlikely that 'Sandra grabbed the milk and Jason is tired'.
valid_hypothesis: It is highly unlikely that 'Sandra grabbed the milk and Jason is tired'.
invalid_hypothesis: It is certain that 'Sandra grabbed the milk and Jason is tired'.
problog: 
    and(A,B) :- A,B.
    or(A,B) :- A;B.
    nand(A,B) :- not(and(A,B)).
    nor(A,B) :- not(or(A,B)).
    xor(A,B) :- or(A,B), nand(A,B).
  
    %hop0
    0.2::factA.
    0.2::factB.
    0.9::factC.
    %hop1
    0.7::factX:-xor(factC,factB).
    0.25::factY:-xor(factC,factB).
    0.2::factZ:-or(factB,factA).
  
    %hop2
    conclusion:-and(factB,factZ).
  
    query(conclusion).
    
hypothesis_assertion: 'Sandra grabbed the milk and Jason is tired'.