Fiona is rough. Fiona is smart. Gary is quiet. Gary is rough. Gary is smart. Harry is round. Harry is smart. Round things are furry. If something is furry then it is rough.
Harry is not furry.
@0: Fiona is rough.[(triple1)] Fiona is smart.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4)] Gary is smart.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Harry is furry.[(((triple6) -> rule1))] @2: Harry is rough.[(((((triple6) -> rule1)) -> rule2))]