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