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.
Erin is not white.
@0: Charlie is smart.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Harry is smart.[(triple4)]