Charlie is not young. Gary is red. Harry is kind. All smart people are kind. If Harry is smart then Harry is furry. Kind people are smart. Big people are cold. If someone is furry and not smart then they are big. If someone is red and not big then they are not young.
Harry is smart.
@0: Charlie is not young.[(triple1)] Gary is red.[(triple2)] Harry is kind.[(triple3)] @1: Harry is smart.[(((triple3) -> rule3))] @2: Harry is furry.[(((((triple3) -> rule3)) -> rule2))]