Dave is young. Erin is kind. Gary is big. If Dave is big and Dave is red then Dave is quiet. If Gary is nice then Gary is red. All quiet, young people are red. Young, big people are red. If someone is quiet and cold then they are red. Cold, kind people are quiet. If someone is nice and red then they are big. If Dave is red and Dave is cold then Dave is kind.
Gary is not quiet.
@0: Dave is young.[(triple1)] Erin is kind.[(triple2)] Gary is big.[(triple3)]