context: It is impossible that John went to the kitchen. It is likely that Jessica is a mouse. It is impossible that Yann is tired. It is probable that if 'John went to the kitchen and Jessica is a mouse' then Julius is white. There is little chance that if 'John went to the kitchen' or 'Yann is tired' or both then Greg is gray. It is certain that if 'John went to the kitchen' or 'Jessica is a mouse' or both then Daniel took the milk.
hypothesis: It is impossible that 'Julius is white and Jessica is a mouse'.
valid_hypothesis: It is impossible that 'Julius is white and Jessica is a mouse'.
invalid_hypothesis: It is probably the case that 'Julius is white and Jessica is a mouse'.
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.0::factA.
    0.7::factB.
    0.0::factC.
    %hop1
    0.7::factX:-and(factA,factB).
    0.1::factY:-or(factA,factC).
    1.0::factZ:-or(factA,factB).
  
    %hop2
    conclusion:-and(factX,factB).
  
    query(conclusion).
    
hypothesis_assertion: 'Julius is white and Jessica is a mouse'.