Fiona is green. Harry is big. Harry is not smart. If Fiona is big and Fiona is smart then Fiona is blue. If something is white then it is big. If something is green and not kind then it is big. All green things are blue. Green, blue things are white. Green, blue things are not round. If Harry is blue and Harry is big then Harry is smart. If Fiona is round then Fiona is white.
Fiona is not big.
@0: Fiona is green.[(triple1)] Harry is big.[(triple2)] Harry is not smart.[(triple3)] @1: Fiona is blue.[(((triple1) -> rule4))] @2: Fiona is not round.[(((triple1 ((triple1) -> rule4)) -> rule6))] Fiona is white.[(((triple1 ((triple1) -> rule4)) -> rule5))] @3: Fiona is big.[(((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))]