Anne is nice. Bob is blue. Fiona is big. Gary is blue. If Gary is cold and Gary is not nice then Gary is blue.
Anne is nice.
@0: Anne is nice.[(triple1)] Bob is blue.[(triple2)] Fiona is big.[(triple3)] Gary is blue.[(triple4)]