Bob is nice. Fiona is round. Harry is not green. If Fiona is green then Fiona is cold. If Harry is green then Harry is not nice.
Harry is blue.
@0: Bob is nice.[(triple1)] Fiona is round.[(triple2)] Harry is not green.[(triple3)]