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