context: It is probably not the case that Mary is in the bathroom. There is almost no chance that Sandra got the milk. It is probably not the case that Lily is green.
hypothesis: It is highly unlikely that 'Mary is in the bathroom' or 'Lily is green' or both.
valid_hypothesis: Chances are about even that 'Mary is in the bathroom' or 'Lily is green' or both.
invalid_hypothesis: It is highly unlikely that 'Mary is in the bathroom' or 'Lily is green' or both.
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.25::factA.
    0.02::factB.
    0.25::factC.
    
  
    %hop2
    conclusion:-or(factA,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Mary is in the bathroom' or 'Lily is green' or both.