Anne is red. Charlie is smart. Dave is kind. Harry is kind. If someone is green then they are kind. Green, cold people are smart. Green, furry people are kind. Kind people are smart. Furry, red people are smart. If someone is red then they are furry. Green, red people are kind. All blue people are green.
Harry is not furry.
@0: Anne is red.[(triple1)] Charlie is smart.[(triple2)] Dave is kind.[(triple3)] Harry is kind.[(triple4)] @1: Anne is furry.[(((triple1) -> rule6))] Dave is smart.[(((triple3) -> rule4))] Harry is smart.[(((triple4) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule6) triple1) -> rule5))]