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