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