Charlie is not green. Gary is kind. Harry is young. If Harry is green and Harry is young then Harry is blue. If someone is green then they are blue. Furry people are blue. Kind people are furry. All blue, smart people are kind. Furry, blue people are smart.
Charlie is cold.
@0: Charlie is not green.[(triple1)] Gary is kind.[(triple2)] Harry is young.[(triple3)] @1: Gary is furry.[(((triple2) -> rule4))] @2: Gary is blue.[(((((triple2) -> rule4)) -> rule3))] @3: Gary is smart.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule3)) -> rule6))]