context: It is probably the case that Sandra dropped the milk. It is unlikely that Jason is tired. It is highly unlikely that Lily is a rhino. It is certain that if 'Sandra dropped the milk and Lily is a rhino' then Bernhard is white. It is highly likely that if either 'Sandra dropped the milk' or 'Jason is tired' but not both then Mary went to the kitchen. There is little chance that if either 'Lily is a rhino' or 'Jason is tired' but not both then Brian is a frog.
hypothesis: It is highly likely that 'Brian is a frog and Lily is a rhino'.
valid_hypothesis: It is impossible that 'Brian is a frog and Lily is a rhino'.
invalid_hypothesis: It is highly likely that 'Brian is a frog and Lily is a rhino'.
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.7::factA.
    0.2::factB.
    0.05::factC.
    %hop1
    1.0::factX:-and(factA,factC).
    0.9::factY:-xor(factA,factB).
    0.1::factZ:-xor(factC,factB).
  
    %hop2
    conclusion:-and(factZ,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Brian is a frog and Lily is a rhino'.