Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. If Erin is quiet and Erin is round then Erin is smart. All smart, nice things are white. Round things are quiet.
Erin is not white.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule3))] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple10) -> rule3))] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple9 triple10) -> rule1) OR ((((triple10) -> rule3) triple10) -> rule1))] Erin is white.[(triple12 OR ((triple11 triple8) -> rule2) OR ((((triple9 triple10) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule3) triple10) -> rule1) triple8) -> rule2))] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is quiet.[(((triple15) -> rule3))] Fiona is white.[(((triple16 triple14) -> rule2))]