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