Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is smart. Charlie is green. Charlie is smart. Erin is blue. Erin is cold. Erin is kind. Erin is smart. Gary is cold. Gary is green. Gary is red. Gary is rough. All kind things are red. All red, smart things are kind. If Gary is green then Gary is rough.
Gary is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple3 triple5) -> rule2))] Anne is red.[(triple3 OR ((triple2) -> rule1))] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule3))] @1: Erin is red.[(((triple10) -> rule1))]