Fiona is round. Harry is green. Harry is rough. All round, rough people are big. Big people are white. If Fiona is big then Fiona is green. If Harry is rough then Harry is white. If Fiona is furry and Fiona is smart then Fiona is big. If someone is smart then they are furry.
Fiona is rough.
@0: Fiona is round.[(triple1)] Harry is green.[(triple2)] Harry is rough.[(triple3)] @1: Harry is white.[(((triple3) -> rule4))]