Charlie is smart. Erin is rough. Fiona is smart. Harry is not cold. If Erin is blue and Erin is not white then Erin is cold. If Harry is rough then Harry is white. All white, round things are big.
Harry is not cold.
@0: Charlie is smart.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] Harry is not cold.[(triple4)]