Charlie is nice. Fiona is nice. Harry is green. If something is kind then it is red. If Harry is rough and Harry is red then Harry is blue. If Fiona is green and Fiona is blue then Fiona is nice. If Fiona is green then Fiona is rough. If something is quiet and green then it is nice. If something is blue then it is nice.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Fiona is nice.[(triple2)] Harry is green.[(triple3)]