Charlie is big. Charlie is furry. Charlie is quiet. Charlie is white. Charlie is young. Erin is furry. Erin is quiet. Erin is rough. Erin is white. Erin is young. White people are young. All quiet, kind people are big. Kind people are rough. All big, furry people are quiet. All young people are white. Young, quiet people are kind.
Charlie is not young.
@0: Charlie is big.[(triple1 OR ((triple3 ((triple5 triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple4) -> rule1) triple3) -> rule6)) -> rule2))] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1 triple2) -> rule4))] Charlie is white.[(triple4 OR ((triple5) -> rule5))] Charlie is young.[(triple5 OR ((triple4) -> rule1))] Erin is furry.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((((triple10 triple7) -> rule6)) -> rule3) OR ((((((triple9) -> rule1) triple7) -> rule6)) -> rule3))] Erin is white.[(triple9 OR ((triple10) -> rule5))] Erin is young.[(triple10 OR ((triple9) -> rule1))] @1: Charlie is kind.[(((triple5 triple3) -> rule6) OR ((triple5 ((triple1 triple2) -> rule4)) -> rule6) OR ((((triple4) -> rule1) triple3) -> rule6) OR ((((triple4) -> rule1) ((triple1 triple2) -> rule4)) -> rule6))] Erin is kind.[(((triple10 triple7) -> rule6) OR ((((triple9) -> rule1) triple7) -> rule6))] @2: Charlie is rough.[(((((triple5 triple3) -> rule6)) -> rule3) OR ((((triple5 ((triple1 triple2) -> rule4)) -> rule6)) -> rule3) OR ((((((triple4) -> rule1) triple3) -> rule6)) -> rule3) OR ((((((triple4) -> rule1) ((triple1 triple2) -> rule4)) -> rule6)) -> rule3))] Erin is big.[(((triple7 ((triple10 triple7) -> rule6)) -> rule2) OR ((triple7 ((((triple9) -> rule1) triple7) -> rule6)) -> rule2))]