Charlie is cold. Dave is blue. Harry is red. Round things are blue. All smart things are green. Smart things are blue.
Harry is smart.
@0: Charlie is cold.[(triple1)] Dave is blue.[(triple2)] Harry is red.[(triple3)]