context: It is highly likely that Daniel dropped the apple. It is probably not the case that Sandra took the football. It is probably not the case that Greg is yellow. It is probably not the case that if 'Sandra took the football' or 'Daniel dropped the apple' or both then Julius is green. It is almost certain that if 'Daniel dropped the apple' or 'Greg is yellow' or both then Jason is tired. It is highly unlikely that if 'Sandra took the football' or 'Daniel dropped the apple' or both then Brian is a swan.
hypothesis: It is highly likely that 'Sandra took the football' or 'Jason is tired' or both.
valid_hypothesis: It is highly likely that 'Sandra took the football' or 'Jason is tired' or both.
invalid_hypothesis: There is little chance that 'Sandra took the football' or 'Jason is tired' 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.9::factA.
    0.25::factB.
    0.25::factC.
    %hop1
    0.25::factX:-or(factB,factA).
    0.95::factY:-or(factA,factC).
    0.05::factZ:-or(factB,factA).
  
    %hop2
    conclusion:-or(factB,factY).
  
    query(conclusion).
    
hypothesis_assertion: 'Sandra took the football' or 'Jason is tired' or both.