Charlie is smart. Dave is smart. Erin is cold. Harry is smart. If Harry is round and Harry is white then Harry is cold. Red things are white. Smart, cold things are white.
Harry is not smart.
@0: Charlie is smart.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Harry is smart.[(triple4)]