Anne is red. Bob is cold. Fiona is green. If Fiona is not green then Fiona is nice. If someone is cold and not green then they are red.
Bob is cold.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Fiona is green.[(triple3)]