There is a very good chance that Lily is white. We doubt that Jason is tired. It is certain that John went to the bedroom. It is probable that if 'Jason is tired and Lily is white' then Sandra left the football. There is almost no chance that if 'Jason is tired and Lily is white' then Mary got the milk. It is highly likely that if either 'Jason is tired' or 'John went to the bedroom' but not both then Julius is gray.
It is unlikely that 'John went to the bedroom and Jason is tired'.
It is unlikely that 'John went to the bedroom and Jason is tired'.
It is probable that 'John went to the bedroom and Jason is tired'.

  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.8::factA.
  0.2::factB.
  1.0::factC.
  %hop1
  0.7::factX:-and(factB,factA).
  0.02::factY:-and(factB,factA).
  0.9::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'John went to the bedroom and Jason is tired'.