Charlie is nice. Charlie is quiet. Charlie is red. Charlie is young. Dave is rough. Dave is round. Erin is green. Erin is nice. Erin is rough. Fiona is nice. Fiona is round. Fiona is young. If something is rough then it is green. Rough, green things are quiet. All nice, rough things are red. All round, green things are quiet. All red, rough things are quiet. Young, quiet things are round.
Erin is rough.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is green.[(triple7 OR ((triple9) -> rule1))] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is round.[(((triple4 triple2) -> rule6))] Dave is green.[(((triple5) -> rule1))] Erin is quiet.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2) OR ((((triple8 triple9) -> rule3) triple9) -> rule5))] Erin is red.[(((triple8 triple9) -> rule3))] @2: Dave is quiet.[(((triple5 ((triple5) -> rule1)) -> rule2) OR ((triple6 ((triple5) -> rule1)) -> rule4))]