context: It is highly unlikely that Brian is white. It is highly likely that Sumit is thirsty. It is highly unlikely that Lily is yellow. There is almost no chance that if 'Lily is yellow and Sumit is thirsty' then Jeff went to the bedroom. There is a very good chance that if 'Brian is white' or 'Sumit is thirsty' or both then Julius is a frog. It is almost certain that if 'Brian is white and Lily is yellow' then Mary dropped the milk.
hypothesis: We believe that 'Lily is yellow and Jeff went to the bedroom'.
valid_hypothesis: It is impossible that 'Lily is yellow and Jeff went to the bedroom'.
invalid_hypothesis: We believe that 'Lily is yellow and Jeff went to the bedroom'.
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.05::factA.
    0.9::factB.
    0.05::factC.
    %hop1
    0.02::factX:-and(factC,factB).
    0.8::factY:-or(factA,factB).
    0.95::factZ:-and(factA,factC).
  
    %hop2
    conclusion:-and(factC,factX).
  
    query(conclusion).
    
hypothesis_assertion: 'Lily is yellow and Jeff went to the bedroom'.