Anne is kind. Anne is nice. Anne is red. Anne is smart. Erin is cold. Erin is red. Erin is rough. Erin is white. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is white. Red things are rough. If something is nice and white then it is kind. If something is rough then it is white.
Anne is rough.
@0: Anne is kind.[(triple1 OR ((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule2))] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7 OR ((triple6) -> rule1))] Erin is white.[(triple8 OR ((triple7) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple11 triple15) -> rule2) OR ((triple11 ((triple13) -> rule3)) -> rule2) OR ((triple11 ((((triple12) -> rule1)) -> rule3)) -> rule2))] Gary is nice.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple12) -> rule1))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] @1: Anne is rough.[(((triple3) -> rule1))] @2: Anne is white.[(((((triple3) -> rule1)) -> rule3))]