Charlie is green. Charlie is red. Charlie is round. Erin is blue. Erin is green. Erin is rough. Erin is round. Erin is white. Erin is young. Fiona is blue. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Round things are red. If Charlie is round then Charlie is young. If something is red then it is white.
Erin is not blue.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule1))] Charlie is round.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8 OR ((((triple7) -> rule1)) -> rule3))] Erin is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is red.[(triple11 OR ((triple13) -> rule1))] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple11) -> rule3) OR ((((triple13) -> rule1)) -> rule3))] Fiona is young.[(triple15)] @1: Charlie is white.[(((triple2) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Charlie is young.[(((triple3) -> rule2))] Erin is red.[(((triple7) -> rule1))]