Dave is cold. Dave is green. Dave is nice. Erin is green. Erin is nice. Gary is green. Gary is round. If Dave is big and Dave is round then Dave is red.
Erin is green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)]