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