Charlie is kind. Charlie is young. Erin is not big. Gary is not big. Gary is not white. Gary is young. Harry is green. If something is big then it is not green. If something is kind then it is big.
Gary is kind.
@0: Charlie is kind.[(triple1)] Charlie is young.[(triple2)] Erin is not big.[(triple3)] Gary is not big.[(triple4)] Gary is not white.[(triple5)] Gary is young.[(triple6)] Harry is green.[(triple7)] @1: Charlie is big.[(((triple1) -> rule2))] @2: Charlie is not green.[(((((triple1) -> rule2)) -> rule1))]