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