Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. If Charlie is rough then Charlie is young. All smart, kind things are green. If Charlie is green then Charlie is young. If something is red and kind then it is rough. If Charlie is smart and Charlie is kind then Charlie is green. If something is young then it is kind.
Charlie is not smart.
@0: Charlie is green.[(triple1 OR ((triple6 triple2) -> rule2) OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple7) -> rule6)) -> rule2) OR ((triple6 ((triple7) -> rule6)) -> rule5) OR ((triple6 ((((triple5) -> rule1)) -> rule6)) -> rule2) OR ((triple6 ((((triple5) -> rule1)) -> rule6)) -> rule5))] Charlie is kind.[(triple2 OR ((triple7) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple7) -> rule6)) -> rule4) OR ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule3) OR ((triple5) -> rule1) OR ((((triple4 triple2) -> rule4)) -> rule1) OR ((((triple6 triple2) -> rule2)) -> rule3) OR ((((triple6 triple2) -> rule5)) -> rule3))]