Charlie is cold. Charlie is nice. Charlie is red. If someone is round and red then they are nice.
Charlie is not nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)]