Charlie is green. Charlie is kind. Charlie is quiet. Charlie is white. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Erin is quiet. Gary is furry. Gary is kind. Gary is rough. All furry, rough people are quiet. If someone is green and smart then they are quiet. All furry, quiet people are kind. All white, furry people are kind. If Dave is white and Dave is kind then Dave is green. If someone is quiet then they are kind. All kind people are white. White, green people are smart.
Erin is not white.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule6) OR ((((triple1 ((triple4 triple1) -> rule8)) -> rule2)) -> rule6))] Charlie is quiet.[(triple3 OR ((triple1 ((triple4 triple1) -> rule8)) -> rule2) OR ((triple1 ((((triple2) -> rule7) triple1) -> rule8)) -> rule2))] Charlie is white.[(triple4 OR ((triple2) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] Dave is furry.[(triple5)] Dave is quiet.[(triple6 OR ((triple5 triple7) -> rule1))] Dave is rough.[(triple7)] Dave is smart.[(triple8 OR ((((((triple6) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple6) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5)) -> rule8))] Erin is quiet.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11 OR ((((triple10 triple12) -> rule1)) -> rule6) OR ((triple10 ((triple10 triple12) -> rule1)) -> rule3))] Gary is rough.[(triple12)] @1: Charlie is smart.[(((triple4 triple1) -> rule8) OR ((((triple2) -> rule7) triple1) -> rule8) OR ((((((triple3) -> rule6)) -> rule7) triple1) -> rule8))] Dave is kind.[(((triple6) -> rule6) OR ((triple5 triple6) -> rule3) OR ((((triple5 triple7) -> rule1)) -> rule6) OR ((triple5 ((triple5 triple7) -> rule1)) -> rule3))] Erin is kind.[(((triple9) -> rule6))] Gary is quiet.[(((triple10 triple12) -> rule1))] Gary is white.[(((triple11) -> rule7) OR ((((((triple10 triple12) -> rule1)) -> rule6)) -> rule7) OR ((((triple10 ((triple10 triple12) -> rule1)) -> rule3)) -> rule7))] @2: Dave is white.[(((((triple6) -> rule6)) -> rule7) OR ((((triple5 triple6) -> rule3)) -> rule7) OR ((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7))] Erin is white.[(((((triple9) -> rule6)) -> rule7))] @3: Dave is green.[(((((((triple6) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5) OR ((((((triple6) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple6) -> rule6)) -> rule5) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple6) -> rule6)) -> rule5) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 triple6) -> rule3)) -> rule5) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple5 triple7) -> rule1)) -> rule6)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((((triple5 triple7) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule7) ((triple5 ((triple5 triple7) -> rule1)) -> rule3)) -> rule5))]