Anne is not cold. Gary is smart. Harry is nice. If someone is white then they are furry. All cold people are not nice. If someone is young then they are nice. If someone is furry and not big then they are cold. If someone is nice then they are white. White, furry people are smart.
Gary is not cold.
@0: Anne is not cold.[(triple1)] Gary is smart.[(triple2)] Harry is nice.[(triple3)] @1: Harry is white.[(((triple3) -> rule5))] @2: Harry is furry.[(((((triple3) -> rule5)) -> rule1))] @3: Harry is smart.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule6))]