Charlie is quiet. Charlie is round. Dave is green. Dave is kind. Erin is not furry. Erin is green. Erin is kind. Erin is nice. Erin is round. Fiona is furry. Fiona is not green. Fiona is not kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is not white. If Erin is green then Erin is white. White people are nice. Nice, kind people are quiet. If Charlie is round then Charlie is quiet. If Dave is white then Dave is nice. Kind people are white.
Fiona is furry.
@0: Charlie is quiet.[(triple1 OR ((triple2) -> rule4))] Charlie is round.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((((triple6) -> rule1)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] Erin is not furry.[(triple5)] Erin is round.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple13)] Fiona is not green.[(triple11)] Fiona is not kind.[(triple12)] Fiona is not white.[(triple16)] Fiona is quiet.[(triple14)] Fiona is round.[(triple15)] @1: Dave is white.[(((triple4) -> rule6))] Erin is quiet.[(((triple8 triple7) -> rule3) OR ((((((triple6) -> rule1)) -> rule2) triple7) -> rule3) OR ((((((triple7) -> rule6)) -> rule2) triple7) -> rule3))] Erin is white.[(((triple6) -> rule1) OR ((triple7) -> rule6))] @2: Dave is nice.[(((((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule6)) -> rule5))] @3: Dave is quiet.[(((((((triple4) -> rule6)) -> rule2) triple4) -> rule3) OR ((((((triple4) -> rule6)) -> rule5) triple4) -> rule3))]