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