Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is white. Gary is blue. Gary is green. Gary is kind. Gary is young. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is white. Harry is young. All young people are blue. All blue, rough people are green. If Charlie is kind then Charlie is green. All young, blue people are rough. If Gary is nice and Gary is rough then Gary is kind. Green people are rough. All young, nice people are blue. All green, blue people are rough.
Charlie is not nice.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple3) -> rule3))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is white.[(triple5)] Gary is blue.[(triple6 OR ((triple9) -> rule1))] Gary is green.[(triple7 OR ((triple6 ((triple9 triple6) -> rule4)) -> rule2) OR ((((triple9) -> rule1) ((triple9 triple6) -> rule4)) -> rule2) OR ((triple6 ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2) OR ((((triple9) -> rule1) ((triple9 ((triple9) -> rule1)) -> rule4)) -> rule2))] Gary is kind.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10 OR ((triple16) -> rule1) OR ((triple16 triple13) -> rule7))] Harry is green.[(triple11 OR ((triple10 triple14) -> rule2) OR ((triple10 ((triple16 triple10) -> rule4)) -> rule2) OR ((((triple16) -> rule1) triple14) -> rule2) OR ((((triple16 triple13) -> rule7) triple14) -> rule2) OR ((((triple16) -> rule1) ((triple16 triple10) -> rule4)) -> rule2) OR ((((triple16 triple13) -> rule7) ((triple16 triple10) -> rule4)) -> rule2) OR ((triple10 ((triple16 ((triple16) -> rule1)) -> rule4)) -> rule2) OR ((triple10 ((triple16 ((triple16 triple13) -> rule7)) -> rule4)) -> rule2) OR ((((triple16) -> rule1) ((triple16 ((triple16) -> rule1)) -> rule4)) -> rule2) OR ((((triple16) -> rule1) ((triple16 ((triple16 triple13) -> rule7)) -> rule4)) -> rule2) OR ((((triple16 triple13) -> rule7) ((triple16 ((triple16) -> rule1)) -> rule4)) -> rule2) OR ((((triple16 triple13) -> rule7) ((triple16 ((triple16 triple13) -> rule7)) -> rule4)) -> rule2))] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple11) -> rule6) OR ((triple11 triple10) -> rule8) OR ((triple16 triple10) -> rule4) OR ((triple11 ((triple16) -> rule1)) -> rule8) OR ((triple11 ((triple16 triple13) -> rule7)) -> rule8) OR ((triple16 ((triple16) -> rule1)) -> rule4) OR ((triple16 ((triple16 triple13) -> rule7)) -> rule4))] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Charlie is rough.[(((triple2) -> rule6) OR ((triple2 triple1) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule3) triple1) -> rule8))] Gary is rough.[(((triple7) -> rule6) OR ((triple7 triple6) -> rule8) OR ((triple9 triple6) -> rule4) OR ((triple7 ((triple9) -> rule1)) -> rule8) OR ((triple9 ((triple9) -> rule1)) -> rule4))]