Anne is blue. Anne is cold. Anne is kind. Anne is red. Anne is smart. Anne is young. Erin is cold. Erin is kind. Erin is white. Erin is young. Harry is blue. Harry is cold. Harry is kind. Harry is smart. Harry is white. Harry is young. If something is blue then it is red. All blue things are kind. Smart things are blue. If something is white then it is blue. If something is white then it is young. All red, cold things are smart.
Erin is not young.
@0: Anne is blue.[(triple1 OR ((triple5) -> rule3) OR ((((triple4 triple2) -> rule6)) -> rule3))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple4 triple2) -> rule6)) -> rule3)) -> rule2))] Anne is red.[(triple4 OR ((triple1) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Anne is smart.[(triple5 OR ((triple4 triple2) -> rule6) OR ((((triple1) -> rule1) triple2) -> rule6))] Anne is young.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8 OR ((((triple9) -> rule4)) -> rule2))] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple9) -> rule5))] Harry is blue.[(triple11 OR ((triple14) -> rule3) OR ((triple15) -> rule4))] Harry is cold.[(triple12)] Harry is kind.[(triple13 OR ((triple11) -> rule2) OR ((((triple14) -> rule3)) -> rule2) OR ((((triple15) -> rule4)) -> rule2))] Harry is smart.[(triple14 OR ((((triple11) -> rule1) triple12) -> rule6) OR ((((((triple15) -> rule4)) -> rule1) triple12) -> rule6))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule5))] @1: Erin is blue.[(((triple9) -> rule4))] Harry is red.[(((triple11) -> rule1) OR ((((triple14) -> rule3)) -> rule1) OR ((((triple15) -> rule4)) -> rule1))] @2: Erin is red.[(((((triple9) -> rule4)) -> rule1))] @3: Erin is smart.[(((((((triple9) -> rule4)) -> rule1) triple7) -> rule6))]