Bob is furry. Bob is nice. Bob is smart. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Nice, cold people are green. All furry people are cold. All smart people are green. If someone is cold and furry then they are kind. Smart, red people are kind. If someone is furry and green then they are nice.
Erin is not kind.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((triple1 ((triple3) -> rule3)) -> rule6))] Bob is smart.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule2))] Charlie is furry.[(triple5)] Charlie is green.[(triple6 OR ((triple9) -> rule3) OR ((triple8 triple4) -> rule1) OR ((triple8 ((triple5) -> rule2)) -> rule1))] Charlie is kind.[(triple7 OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule2) triple5) -> rule4))] Charlie is nice.[(triple8 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple9) -> rule3)) -> rule6))] Charlie is smart.[(triple9)] Erin is cold.[(triple10 OR ((triple11) -> rule2))] Erin is furry.[(triple11)] Erin is green.[(triple12 OR ((triple15) -> rule3) OR ((triple13 triple10) -> rule1) OR ((triple13 ((triple11) -> rule2)) -> rule1))] Erin is nice.[(triple13 OR ((triple11 triple12) -> rule6) OR ((triple11 ((triple15) -> rule3)) -> rule6))] Erin is red.[(triple14)] Erin is smart.[(triple15)] @1: Bob is cold.[(((triple1) -> rule2))] Bob is green.[(((triple3) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule1))] Erin is kind.[(((triple10 triple11) -> rule4) OR ((triple15 triple14) -> rule5) OR ((((triple11) -> rule2) triple11) -> rule4))] @2: Bob is kind.[(((((triple1) -> rule2) triple1) -> rule4))]