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