Harry is cold. If something is smart and furry then it is red. Green, furry things are not red. All cold things are kind. If something is red and not green then it is kind. If Harry is quiet then Harry is red. If Harry is kind then Harry is quiet. All furry things are cold. Furry, green things are quiet.
Harry is not red.
@0: Harry is cold.[(triple1)] @1: Harry is kind.[(((triple1) -> rule3))] @2: Harry is quiet.[(((((triple1) -> rule3)) -> rule6))] @3: Harry is red.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))]