context: There is little chance that John went to the garden. It is probably not the case that Lily is yellow. It is almost certain that Bill moved to the office.
hypothesis: It is almost certain that 'Bill moved to the office' or 'John went to the garden' or both.
valid_hypothesis: It is almost certain that 'Bill moved to the office' or 'John went to the garden' or both.
invalid_hypothesis: Chances are about even that 'Bill moved to the office' or 'John went to the garden' 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.1::factA.
    0.25::factB.
    0.95::factC.
    
  
    %hop2
    conclusion:-or(factC,factA).
  
    query(conclusion).
    
hypothesis_assertion: 'Bill moved to the office' or 'John went to the garden' or both.