Charlie is big. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is not smart. Charlie is white. Charlie is young. All red, smart people are white. If Charlie is nice and Charlie is white then Charlie is smart.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not red.[(triple4)] Charlie is not smart.[(triple5)] Charlie is quiet.[(triple3)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]