Dave is furry. Dave is round. Dave is smart. Erin is furry. Erin is kind. Erin is white. Fiona is furry. Fiona is smart. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If someone is red and kind then they are white. Kind, red people are white. Quiet, furry people are white. All white, quiet people are round. If someone is furry and smart then they are quiet. White, round people are furry.
Erin is not red.
@0: Dave is furry.[(triple1)] Dave is round.[(triple2 OR ((((((triple1 triple3) -> rule5) triple1) -> rule3) ((triple1 triple3) -> rule5)) -> rule4))] Dave is smart.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Fiona is furry.[(triple7)] Fiona is smart.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Dave is quiet.[(((triple1 triple3) -> rule5))] Fiona is quiet.[(((triple7 triple8) -> rule5))] Harry is round.[(((triple12 triple10) -> rule4))] @2: Dave is white.[(((((triple1 triple3) -> rule5) triple1) -> rule3))] Fiona is white.[(((((triple7 triple8) -> rule5) triple7) -> rule3))] Harry is furry.[(((triple12 ((triple12 triple10) -> rule4)) -> rule6))] @3: Fiona is round.[(((((((triple7 triple8) -> rule5) triple7) -> rule3) ((triple7 triple8) -> rule5)) -> rule4))]