Anne is round. Charlie is cold. Gary is kind. Harry is round. Cold things are kind. Rough things are big. All kind things are not rough. If something is kind and not rough then it is not red. All big, red things are blue. Cold things are not blue.
Harry is red.
@0: Anne is round.[(triple1)] Charlie is cold.[(triple2)] Gary is kind.[(triple3)] Harry is round.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule1))] Charlie is not blue.[(((triple2) -> rule6))] Gary is not rough.[(((triple3) -> rule3))] @2: Charlie is not rough.[(((((triple2) -> rule1)) -> rule3))] Gary is not red.[(((triple3 ((triple3) -> rule3)) -> rule4))] @3: Charlie is not red.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule4))]