Bob is quiet. Dave is not cold. Gary is blue. Gary is green. Gary is quiet. Gary is red. Harry is red. All cold people are green.
Dave is red.
@0: Bob is quiet.[(triple1)] Dave is not cold.[(triple2)] Gary is blue.[(triple3)] Gary is green.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Harry is red.[(triple7)]