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