Anne is round. Charlie is red. Charlie is white. Erin is nice. Erin is red. Erin is rough. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. If someone is rough then they are green. All green, red people are round. All red people are nice.
Erin is not green.
@0: Anne is round.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule3))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Fiona is green.[(triple7 OR ((triple9) -> rule1))] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule3))] Erin is green.[(((triple6) -> rule1))] @2: Erin is round.[(((((triple6) -> rule1) triple5) -> rule2))]