Anne is furry. Anne is quiet. Charlie is quiet. Charlie is white. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. If Charlie is rough then Charlie is kind. Kind, furry people are white. Red people are rough. White, quiet people are rough. If someone is quiet then they are red. All quiet people are red. Blue people are furry. If Charlie is white then Charlie is quiet.
Dave is not blue.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule8))] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((triple5) -> rule7))] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple8) -> rule5) OR ((triple8) -> rule6))] Dave is rough.[(triple10 OR ((triple9) -> rule3) OR ((triple11 triple8) -> rule4) OR ((((triple8) -> rule5)) -> rule3) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple7 triple6) -> rule2) triple8) -> rule4) OR ((((triple7 ((triple5) -> rule7)) -> rule2) triple8) -> rule4))] Dave is white.[(triple11 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple5) -> rule7)) -> rule2))] Fiona is blue.[(triple12)] Fiona is furry.[(triple13 OR ((triple12) -> rule7))] Fiona is kind.[(triple14)] Fiona is rough.[(triple15)] @1: Anne is red.[(((triple2) -> rule5) OR ((triple2) -> rule6))] Charlie is red.[(((triple3) -> rule5) OR ((triple3) -> rule6) OR ((((triple4) -> rule8)) -> rule5) OR ((((triple4) -> rule8)) -> rule6))] Charlie is rough.[(((triple4 triple3) -> rule4) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule6)) -> rule3) OR ((triple4 ((triple4) -> rule8)) -> rule4) OR ((((((triple4) -> rule8)) -> rule5)) -> rule3) OR ((((((triple4) -> rule8)) -> rule6)) -> rule3))] Fiona is white.[(((triple14 triple13) -> rule2) OR ((triple14 ((triple12) -> rule7)) -> rule2))] @2: Anne is rough.[(((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Charlie is kind.[(((((triple4 triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple4 ((triple4) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule3)) -> rule1))]