Bob is round. Fiona is red. Gary is round. If Gary is green and Gary is red then Gary is nice. All white things are round.
Gary is not round.
@0: Bob is round.[(triple1)] Fiona is red.[(triple2)] Gary is round.[(triple3)]