It is almost certain that Brian is green. It is probably the case that Jessica is a cat. There is a very good chance that Julius is white. It is certain that if 'Brian is green' or 'Julius is white' or both then Mary left the football. It is improbable that if either 'Julius is white' or 'Jessica is a cat' but not both then John went to the hallway. It is unlikely that if 'Jessica is a cat and Julius is white' then Bernhard is a frog.
We doubt that 'Mary left the football and Jessica is a cat'.
It is likely that 'Mary left the football and Jessica is a cat'.
We doubt that 'Mary left the football and Jessica is a cat'.

  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.95::factA.
  0.7::factB.
  0.8::factC.
  %hop1
  1.0::factX:-or(factA,factC).
  0.1::factY:-xor(factC,factB).
  0.2::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Mary left the football and Jessica is a cat'.