Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Erin is cold. Erin is red. Fiona is blue. Fiona is cold. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is not red. Gary is not rough. Gary is white. If Anne is white and Anne is cold then Anne is not green. If Anne is not cold then Anne is not green. If something is green then it is quiet.
Fiona is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is not red.[(triple14)] Gary is not rough.[(triple15)] Gary is quiet.[(triple13 OR ((triple12) -> rule3))] Gary is white.[(triple16)] @1: Anne is quiet.[(((triple3) -> rule3))]