Anne is green. Anne is round. Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is round. Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is red. All red, green things are round. All round things are green. If something is furry and red then it is round. If Fiona is cold then Fiona is rough. If something is round then it is red. All furry things are red.
Fiona is not green.
@0: Anne is green.[(triple1 OR ((triple2) -> rule2))] Anne is round.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is red.[(triple5 OR ((triple7) -> rule5))] Erin is rough.[(triple6)] Erin is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10 OR ((triple12) -> rule5))] Fiona is rough.[(triple11 OR ((triple9) -> rule4))] Fiona is round.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is red.[(triple15)] @1: Anne is red.[(((triple2) -> rule5))] Erin is green.[(((triple7) -> rule2))] Fiona is green.[(((triple12) -> rule2))] Gary is round.[(((triple15 triple14) -> rule1))]