Dave is big. Gary is cold. If Gary is kind and Gary is rough then Gary is red. All cold, red people are kind. If Dave is cold and Dave is red then Dave is young.
Dave is not kind.
@0: Dave is big.[(triple1)] Gary is cold.[(triple2)]