context: It is probably the case that Lily is green. It is highly likely that Julius is green. It is likely that Daniel dropped the milk. There is little chance that if 'Julius is green' or 'Daniel dropped the milk' or both then Greg is a rhino. It is certain that if 'Lily is green' or 'Julius is green' or both then Mary left the milk. It is highly unlikely that if either 'Daniel dropped the milk' or 'Julius is green' but not both then Emily is a mouse.
hypothesis: It is almost certain that 'Julius is green' or 'Daniel dropped the milk' or both.
valid_hypothesis: It is almost certain that 'Julius is green' or 'Daniel dropped the milk' or both.
invalid_hypothesis: We doubt that 'Julius is green' or 'Daniel dropped 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.7::factA.
    0.9::factB.
    0.7::factC.
    %hop1
    0.1::factX:-or(factB,factC).
    1.0::factY:-or(factA,factB).
    0.05::factZ:-xor(factC,factB).
  
    %hop2
    conclusion:-or(factB,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Julius is green' or 'Daniel dropped the milk' or both.