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