Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is not red. Charlie is not rough. Charlie is smart. All rough, big things are kind. If something is rough and not smart then it is kind. If something is kind and not smart then it is big.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not red.[(triple5)] Charlie is not rough.[(triple6)] Charlie is smart.[(triple7)]