Anne is big. Bob is young. Fiona is round. If something is round then it is green. All big, green things are round. Young, green things are big. If something is round and kind then it is young. Green things are blue. If Anne is smart and Anne is blue then Anne is round. If Fiona is big then Fiona is blue. Kind, blue things are young.
Anne is not big.
@0: Anne is big.[(triple1)] Bob is young.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is green.[(((triple3) -> rule1))] @2: Fiona is blue.[(((((triple3) -> rule1)) -> rule5))]