Anne is round. Charlie is round. Fiona is red. Harry is rough. Smart, rough people are nice. Nice people are blue. Round people are smart. If Charlie is kind then Charlie is red. All rough people are smart. Smart, blue people are rough.
Charlie is smart.
@0: Anne is round.[(triple1)] Charlie is round.[(triple2)] Fiona is red.[(triple3)] Harry is rough.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))] Charlie is smart.[(((triple2) -> rule3))] Harry is smart.[(((triple4) -> rule5))] @2: Harry is nice.[(((((triple4) -> rule5) triple4) -> rule1))] @3: Harry is blue.[(((((((triple4) -> rule5) triple4) -> rule1)) -> rule2))]