Anne is quiet. Anne is red. Bob is kind. Bob is quiet. Dave is furry. Dave is quiet. Dave is red. Dave is white. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is white. If someone is red and white then they are green. All furry people are round. Red, furry people are quiet. If someone is green then they are round. If Anne is quiet then Anne is white. If someone is green then they are kind.
Anne is not green.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6 OR ((triple7 triple5) -> rule3))] Dave is red.[(triple7)] Dave is white.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple13 triple15) -> rule1))] Harry is kind.[(triple11 OR ((triple10) -> rule6) OR ((((triple13 triple15) -> rule1)) -> rule6))] Harry is quiet.[(triple12 OR ((triple13 triple9) -> rule3))] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple10) -> rule4) OR ((triple9) -> rule2) OR ((((triple13 triple15) -> rule1)) -> rule4))] Harry is white.[(triple15)] @1: Anne is white.[(((triple1) -> rule5))] Dave is green.[(((triple7 triple8) -> rule1))] Dave is round.[(((triple5) -> rule2) OR ((((triple7 triple8) -> rule1)) -> rule4))] @2: Anne is green.[(((triple2 ((triple1) -> rule5)) -> rule1))] Dave is kind.[(((((triple7 triple8) -> rule1)) -> rule6))] @3: Anne is kind.[(((((triple2 ((triple1) -> rule5)) -> rule1)) -> rule6))] Anne is round.[(((((triple2 ((triple1) -> rule5)) -> rule1)) -> rule4))]