Charlie is not big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is not young. All green people are blue. If Charlie is kind and Charlie is big then Charlie is not blue. All blue, rough people are kind. Young, big people are kind. If Charlie is smart and Charlie is green then Charlie is rough. If someone is smart and not big then they are green. All blue, young people are green. Blue people are rough.
Charlie is big.
@0: Charlie is blue.[(triple2 OR ((triple3) -> rule1) OR ((((triple6 triple1) -> rule6)) -> rule1))] Charlie is green.[(triple3 OR ((triple6 triple1) -> rule6))] Charlie is kind.[(triple4 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2) -> rule8)) -> rule3) OR ((triple2 ((triple6 triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule1) ((triple2) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((triple6 triple3) -> rule5)) -> rule3) OR ((triple2 ((((triple3) -> rule1)) -> rule8)) -> rule3) OR ((triple2 ((triple6 ((triple6 triple1) -> rule6)) -> rule5)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((triple6 ((triple6 triple1) -> rule6)) -> rule5)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) ((triple6 triple3) -> rule5)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) ((triple6 ((triple6 triple1) -> rule6)) -> rule5)) -> rule3) OR ((triple2 ((((((triple6 triple1) -> rule6)) -> rule1)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((((((triple6 triple1) -> rule6)) -> rule1)) -> rule8)) -> rule3) OR ((((((triple6 triple1) -> rule6)) -> rule1) ((((((triple6 triple1) -> rule6)) -> rule1)) -> rule8)) -> rule3))] Charlie is not big.[(triple1)] Charlie is not young.[(triple7)] Charlie is rough.[(triple5 OR ((triple2) -> rule8) OR ((triple6 triple3) -> rule5) OR ((((triple3) -> rule1)) -> rule8) OR ((triple6 ((triple6 triple1) -> rule6)) -> rule5) OR ((((((triple6 triple1) -> rule6)) -> rule1)) -> rule8))] Charlie is smart.[(triple6)]