Bob is smart. Erin is kind. Gary is kind. Harry is round. If Harry is young and Harry is blue then Harry is green. Blue, green things are kind. If something is young then it is red. If something is round then it is blue. Red things are young. If something is blue then it is kind.
Harry is not round.
@0: Bob is smart.[(triple1)] Erin is kind.[(triple2)] Gary is kind.[(triple3)] Harry is round.[(triple4)] @1: Harry is blue.[(((triple4) -> rule4))] @2: Harry is kind.[(((((triple4) -> rule4)) -> rule6))]