Anne is blue. Anne is cold. Anne is red. Anne is rough. Anne is smart. Erin is nice. Erin is red. Erin is not smart. Gary is blue. Gary is not cold. Gary is red. Gary is rough. If Erin is nice then Erin is rough. Nice people are cold. If someone is smart then they are cold. All rough people are blue. If someone is smart then they are blue. Nice, blue people are kind.
Erin is kind.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule4) OR ((triple5) -> rule5))] Anne is cold.[(triple2 OR ((triple5) -> rule3))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Erin is nice.[(triple6)] Erin is not smart.[(triple8)] Erin is red.[(triple7)] Gary is blue.[(triple9 OR ((triple12) -> rule4))] Gary is not cold.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Erin is cold.[(((triple6) -> rule2))] Erin is rough.[(((triple6) -> rule1))] @2: Erin is blue.[(((((triple6) -> rule1)) -> rule4))] @3: Erin is kind.[(((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule6))]