It is unlikely that Daniel dropped the apple. There is a better than even chance that Lily is a rhino. It is probably the case that Winona is a cat. It is unlikely that if 'Lily is a rhino' or 'Daniel dropped the apple' or both then Julius is yellow. We believe that if 'Daniel dropped the apple and Lily is a rhino' then Greg is yellow. It is improbable that if 'Winona is a cat and Daniel dropped the apple' then John moved to the office.
It is impossible that 'John moved to the office and Julius is yellow'.
It is impossible that 'John moved to the office and Julius is yellow'.
It is certain that 'John moved to the office and Julius is yellow'.

  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.2::factA.
  0.6::factB.
  0.7::factC.
  %hop1
  0.2::factX:-or(factB,factA).
  0.75::factY:-and(factA,factB).
  0.1::factZ:-and(factC,factA).

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

  query(conclusion).
  
'John moved to the office and Julius is yellow'.