It is highly unlikely that Jason is tired. There is almost no chance that Julius is white. It is impossible that Greg is green. It is impossible that if either 'Julius is white' or 'Jason is tired' but not both then Mary went to the hallway. There is little chance that if either 'Greg is green' or 'Jason is tired' but not both then John took the milk. There is almost no chance that if 'Julius is white' or 'Jason is tired' or both then Bernhard is a swan.
There is a very good chance that 'Mary went to the hallway and Jason is tired'.
It is impossible that 'Mary went to the hallway and Jason is tired'.
There is a very good chance that 'Mary went to the hallway 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.05::factA.
  0.02::factB.
  0.0::factC.
  %hop1
  0.0::factX:-xor(factB,factA).
  0.1::factY:-xor(factC,factA).
  0.02::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Mary went to the hallway and Jason is tired'.