context: It is probably not the case that Mary moved to the garden. We doubt that Yann is bored. There is almost no chance that John went to the kitchen. It is almost certain that if 'Yann is bored' or 'John went to the kitchen' or both then Winona is a mouse. We believe that if 'Mary moved to the garden' or 'Yann is bored' or both then Greg is a frog. It is probably the case that if 'Mary moved to the garden and Yann is bored' then Lily is green.
hypothesis: It is almost certain that 'Mary moved to the garden' or 'Lily is green' or both.
valid_hypothesis: It is probably not the case that 'Mary moved to the garden' or 'Lily is green' or both.
invalid_hypothesis: It is almost certain that 'Mary moved to the garden' 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.2::factB.
    0.02::factC.
    %hop1
    0.95::factX:-or(factB,factC).
    0.75::factY:-or(factA,factB).
    0.7::factZ:-and(factA,factB).
  
    %hop2
    conclusion:-or(factA,factZ).
  
    query(conclusion).
    
hypothesis_assertion: 'Mary moved to the garden' or 'Lily is green' or both.