Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Erin is not green. Erin is kind. Erin is not nice. Erin is rough. Erin is not smart. Erin is white. Erin is young. Harry is kind. Harry is rough. Harry is white. Harry is young. All kind, green things are white. All green things are kind. If something is nice and not green then it is not rough. All smart things are rough. All smart, young things are nice. If something is smart and not kind then it is not young. If something is smart and not kind then it is young. All kind, white things are young.
Erin is white.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule2))] Charlie is rough.[(triple3 OR ((triple4) -> rule4))] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1))] Erin is kind.[(triple7)] Erin is not green.[(triple6)] Erin is not nice.[(triple8)] Erin is not smart.[(triple10)] Erin is rough.[(triple9)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple7 triple11) -> rule8))] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple13 triple15) -> rule8))] @1: Charlie is young.[(((triple2 triple5) -> rule8) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule2) triple5) -> rule8) OR ((((triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule8) OR ((triple2 ((((triple1) -> rule2) triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule8))] @2: Charlie is nice.[(((triple4 ((triple2 triple5) -> rule8)) -> rule5) OR ((triple4 ((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule5) OR ((triple4 ((((triple1) -> rule2) triple5) -> rule8)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule8)) -> rule5) OR ((triple4 ((triple2 ((((triple1) -> rule2) triple1) -> rule1)) -> rule8)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule8)) -> rule5))]