Erin is blue. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is white. If Erin is blue and Erin is smart then Erin is white. If something is rough and white then it is cold. If Erin is red and Erin is nice then Erin is blue.
Erin is not white.
@0: Erin is blue.[(triple1 OR ((triple4 triple3) -> rule3))] Erin is cold.[(triple2 OR ((triple5 triple7) -> rule2) OR ((triple5 ((triple1 triple6) -> rule1)) -> rule2) OR ((triple5 ((((triple4 triple3) -> rule3) triple6) -> rule1)) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple1 triple6) -> rule1) OR ((((triple4 triple3) -> rule3) triple6) -> rule1))]