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.
Fiona is not cold.
@0: Bob is nice.[(triple1)] Fiona is round.[(triple2)] Harry is not green.[(triple3)]