Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is smart. Dave is furry. Dave is green. Erin is cold. Erin is furry. Erin is green. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is green. Cold, white things are big. If Harry is white then Harry is smart. Furry things are smart. If Dave is cold and Dave is smart then Dave is big. All green, big things are furry. If something is smart and green then it is young. If something is smart then it is furry. If something is big then it is white.
Harry is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5) -> rule7) OR ((triple4 triple1) -> rule5))] Anne is green.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule3) OR ((((triple4 triple1) -> rule5)) -> rule3))] Dave is furry.[(triple6)] Dave is green.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple11) -> rule7) OR ((triple10 ((triple8 triple12) -> rule1)) -> rule5))] Erin is green.[(triple10)] Erin is smart.[(triple11 OR ((triple9) -> rule3) OR ((((triple10 ((triple8 triple12) -> rule1)) -> rule5)) -> rule3))] Erin is white.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15)] @1: Anne is white.[(((triple1) -> rule8))] Anne is young.[(((triple5 triple4) -> rule6) OR ((((triple3) -> rule3) triple4) -> rule6) OR ((((((triple4 triple1) -> rule5)) -> rule3) triple4) -> rule6))] Dave is smart.[(((triple6) -> rule3))] Erin is big.[(((triple8 triple12) -> rule1))] Erin is young.[(((triple11 triple10) -> rule6) OR ((((triple9) -> rule3) triple10) -> rule6) OR ((((((triple10 ((triple8 triple12) -> rule1)) -> rule5)) -> rule3) triple10) -> rule6))] Harry is smart.[(((triple14) -> rule3))] @2: Dave is young.[(((((triple6) -> rule3) triple7) -> rule6))] Harry is young.[(((((triple14) -> rule3) triple15) -> rule6))]