Charlie is cold. Charlie is kind. Charlie is smart. All cold, green things are kind. If something is kind and red then it is quiet. If Charlie is blue then Charlie is green. All blue, green things are red. All smart, red things are green. All quiet things are green.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)]