It is highly unlikely that Mary grabbed the milk. It is highly unlikely that Brian is a frog. We believe that Daniel left the apple. It is highly unlikely that if 'Mary grabbed the milk' or 'Daniel left the apple' or both then John went to the kitchen. It is probably not the case that if 'Brian is a frog' or 'Mary grabbed the milk' or both then Greg is gray. We believe that if 'Daniel left the apple' or 'Brian is a frog' or both then Emily is a mouse.
It is probably the case that 'Emily is a mouse and John went to the kitchen'.
There is almost no chance that 'Emily is a mouse and John went to the kitchen'.
It is probably the case that 'Emily is a mouse and John went to the kitchen'.

  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.05::factA.
  0.05::factB.
  0.75::factC.
  %hop1
  0.05::factX:-or(factA,factC).
  0.25::factY:-or(factB,factA).
  0.75::factZ:-or(factC,factB).

  %hop2
  conclusion:-and(factZ,factX).

  query(conclusion).
  
'Emily is a mouse and John went to the kitchen'.