Erin is kind. Harry is smart. Harry is white. Kind, furry people are smart. If Erin is cold and Erin is green then Erin is smart. If Harry is green then Harry is smart. If Harry is cold then Harry is quiet. Green, cold people are kind. If Erin is quiet and Erin is white then Erin is cold. If someone is smart and cold then they are green. If Harry is white then Harry is smart.
Harry is smart.
@0: Erin is kind.[(triple1)] Harry is smart.[(triple2 OR ((triple3) -> rule8))] Harry is white.[(triple3)]