Charlie is big. Charlie is blue. Charlie is kind. Charlie is not quiet. Charlie is not red. Charlie is rough. Charlie is not young. Red, quiet things are big. If something is red then it is quiet. Red things are not quiet. If Charlie is rough and Charlie is not red then Charlie is not quiet. If Charlie is red then Charlie is not big. If something is red and not big then it is not blue.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is not quiet.[(triple4 OR ((triple6 triple5) -> rule4))] Charlie is not red.[(triple5)] Charlie is not young.[(triple7)] Charlie is rough.[(triple6)]