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.
Bob is not green.
@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)]