Charlie is red. Dave is not white. Fiona is rough. Harry is white. If something is rough and white then it is not round. If Fiona is round then Fiona is not white. All red, round things are blue.
Harry is not blue.
@0: Charlie is red.[(triple1)] Dave is not white.[(triple2)] Fiona is rough.[(triple3)] Harry is white.[(triple4)]