Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is not white. Nice, red people are big. If Charlie is big and Charlie is not red then Charlie is not white.
Charlie is white.
@0: Charlie is big.[(triple1 OR ((triple4 triple6) -> rule1))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is not white.[(triple7)] Charlie is red.[(triple6)]