Bob is red. Erin is green. Erin is red. Harry is cold. Harry is furry. Harry is green. Harry is rough. If Harry is blue and Harry is rough then Harry is green. All green, red people are blue. All furry, cold people are kind. If someone is red and rough then they are blue. If Bob is rough and Bob is green then Bob is cold. Kind, blue people are red. All kind, furry people are red. Kind people are green.
Harry is not blue.
@0: Bob is red.[(triple1)] Erin is green.[(triple2)] Erin is red.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6 OR ((((triple5 triple4) -> rule3)) -> rule8) OR ((((((((triple5 triple4) -> rule3) triple5) -> rule7) triple7) -> rule4) triple7) -> rule1))] Harry is rough.[(triple7)] @1: Erin is blue.[(((triple2 triple3) -> rule2))] Harry is kind.[(((triple5 triple4) -> rule3))] @2: Harry is red.[(((((triple5 triple4) -> rule3) triple5) -> rule7))] @3: Harry is blue.[(((triple6 ((((triple5 triple4) -> rule3) triple5) -> rule7)) -> rule2) OR ((((((triple5 triple4) -> rule3) triple5) -> rule7) triple7) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule8) ((((triple5 triple4) -> rule3) triple5) -> rule7)) -> rule2))]