There is a better than even chance that Sumit is tired. It is probably the case that Julius is yellow. It is highly likely that Mary went to the office. There is a better than even chance that if 'Mary went to the office and Sumit is tired' then Gertrude is a mouse. It is almost certain that if 'Julius is yellow' or 'Sumit is tired' or both then Sandra left the milk. It is highly likely that if 'Mary went to the office and Julius is yellow' then John dropped the milk.
There is a better than even chance that 'Julius is yellow and Mary went to the office'.
There is a better than even chance that 'Julius is yellow and Mary went to the office'.
It is impossible that 'Julius is yellow and Mary went to the office'.

  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.6::factA.
  0.7::factB.
  0.9::factC.
  %hop1
  0.6::factX:-and(factC,factA).
  0.95::factY:-or(factB,factA).
  0.9::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Julius is yellow and Mary went to the office'.