We believe that Julius is a frog. Chances are about even that Brian is green. It is likely that Greg is white. Chances are about even that if either 'Brian is green' or 'Greg is white' but not both then Jason is tired. It is probably the case that if 'Greg is white and Brian is green' then Mary moved to the garden. It is probably the case that if 'Brian is green and Greg is white' then John discarded the apple.
It is probably the case that 'Julius is a frog and John discarded the apple'.
It is unlikely that 'Julius is a frog and John discarded the apple'.
It is probably the case that 'Julius is a frog and John discarded the apple'.

  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.75::factA.
  0.5::factB.
  0.7::factC.
  %hop1
  0.5::factX:-xor(factB,factC).
  0.7::factY:-and(factC,factB).
  0.7::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Julius is a frog and John discarded the apple'.