Charlie is nice. Dave is furry. Fiona is not furry. Harry is nice. If something is red and furry then it is not blue.
Harry is not nice.
@0: Charlie is nice.[(triple1)] Dave is furry.[(triple2)] Fiona is not furry.[(triple3)] Harry is nice.[(triple4)]