Charlie is big. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is smart. Charlie is white. If Charlie is red and Charlie is round then Charlie is not kind.
Charlie is kind.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]