Charlie is green. Dave is not round. Gary is round. If Gary is blue and Gary is kind then Gary is not cold.
Dave is round.
@0: Charlie is green.[(triple1)] Dave is not round.[(triple2)] Gary is round.[(triple3)]