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