Dave is rough. Erin is nice. Fiona is not rough. Harry is cold. If Harry is red and Harry is not rough then Harry is smart. All red things are nice.
Harry is cold.
@0: Dave is rough.[(triple1)] Erin is nice.[(triple2)] Fiona is not rough.[(triple3)] Harry is cold.[(triple4)]