context: It is highly unlikely that Bernhard is a rhino. Chances are slight that Sandra dropped the apple. It is almost certain that John picked up the milk. It is unlikely that if 'John picked up the milk and Bernhard is a rhino' then Jeff moved to the garden. It is highly likely that if 'Bernhard is a rhino' or 'John picked up the milk' or both then Lily is white. It is probable that if 'Bernhard is a rhino and Sandra dropped the apple' then Mary left the football.
hypothesis: It is highly likely that 'Mary left the football' or 'Lily is white' or both.
valid_hypothesis: It is highly likely that 'Mary left the football' or 'Lily is white' or both.
invalid_hypothesis: It is improbable that 'Mary left the football' or 'Lily is white' 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.05::factA.
    0.1::factB.
    0.95::factC.
    %hop1
    0.2::factX:-and(factC,factA).
    0.9::factY:-or(factA,factC).
    0.7::factZ:-and(factA,factB).
  
    %hop2
    conclusion:-or(factZ,factY).
  
    query(conclusion).
    
hypothesis_assertion: 'Mary left the football' or 'Lily is white' or both.