Anne is cold. Anne is red. Anne is round. Anne is smart. Anne is white. Erin is red. Erin is round. Fiona is green. Fiona is round. Fiona is smart. Fiona is young. Gary is cold. Gary is green. Gary is round. Gary is white. Gary is young. All green things are round. Round things are green.
Fiona is round.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Fiona is green.[(triple8 OR ((triple9) -> rule2))] Fiona is round.[(triple9 OR ((triple8) -> rule1))] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13 OR ((triple14) -> rule2))] Gary is round.[(triple14 OR ((triple13) -> rule1))] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is green.[(((triple3) -> rule2))] Erin is green.[(((triple7) -> rule2))]