Charlie is nice. Fiona is red. Harry is nice. Big things are kind. If Harry is blue and Harry is red then Harry is rough. All blue things are kind.
Harry is not kind.
@0: Charlie is nice.[(triple1)] Fiona is red.[(triple2)] Harry is nice.[(triple3)]