Dave is nice. Dave is not quiet. Dave is round. Erin is blue. Erin is cold. Erin is quiet. Erin is young. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Round, young people are nice. All quiet people are round. Young people are blue.
Erin is nice.
@0: Dave is nice.[(triple1)] Dave is not quiet.[(triple2)] Dave is round.[(triple3)] Erin is blue.[(triple4 OR ((triple7) -> rule3))] Erin is cold.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11 OR ((triple10) -> rule2))] Fiona is white.[(triple12)] @1: Erin is round.[(((triple6) -> rule2))] @2: Erin is nice.[(((((triple6) -> rule2) triple7) -> rule1))]