It is likely that John picked up the milk. It is likely that Julius is green. It is probable that Mary took the football. It is almost certain that if 'Mary took the football' or 'John picked up the milk' or both then Bernhard is a rhino. It is impossible that if 'Mary took the football' or 'Julius is green' or both then Fred moved to the office. We doubt that if either 'Julius is green' or 'Mary took the football' but not both then Lily is a lion.
Chances are about even that 'John picked up the milk and Julius is green'.
Chances are about even that 'John picked up the milk and Julius is green'.
It is almost certain that 'John picked up the milk and Julius is green'.

  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.7::factB.
  0.7::factC.
  %hop1
  0.95::factX:-or(factC,factA).
  0.0::factY:-or(factC,factB).
  0.2::factZ:-xor(factB,factC).

  %hop2
  conclusion:-and(factA,factB).

  query(conclusion).
  
'John picked up the milk and Julius is green'.