Dave is blue. Dave is kind. Dave is round. Gary is big. Gary is blue. Gary is furry. Gary is smart. If Dave is cold and Dave is kind then Dave is furry.
Gary is not blue.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is smart.[(triple7)]