context: There is a very good chance that Bernhard is yellow. It is highly likely that Daniel left the milk. It is highly unlikely that Sandra took the football. Chances are slight that if 'Bernhard is yellow and Sandra took the football' then Lily is a swan. It is probably not the case that if 'Sandra took the football' or 'Bernhard is yellow' or both then Mary moved to the garden. It is probably not the case that if 'Daniel left the milk' or 'Bernhard is yellow' or both then Brian is a frog.
hypothesis: Chances are slight that 'Sandra took the football' or 'Daniel left the milk' or both.
valid_hypothesis: It is highly likely that 'Sandra took the football' or 'Daniel left the milk' or both.
invalid_hypothesis: Chances are slight that 'Sandra took the football' or 'Daniel left the milk' 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.8::factA.
    0.9::factB.
    0.05::factC.
    %hop1
    0.1::factX:-and(factA,factC).
    0.25::factY:-or(factC,factA).
    0.25::factZ:-or(factB,factA).
  
    %hop2
    conclusion:-or(factC,factB).
  
    query(conclusion).
    
hypothesis_assertion: 'Sandra took the football' or 'Daniel left the milk' or both.