Dave is smart. Dave is young. Gary is smart. If Gary is smart and Gary is blue then Gary is red. If Dave is rough and Dave is not blue then Dave is young. If Gary is blue and Gary is quiet then Gary is not smart. If someone is red and blue then they are not young. If Dave is smart and Dave is quiet then Dave is not red. If Dave is not quiet and Dave is not rough then Dave is red.
Dave is smart.
@0: Dave is smart.[(triple1)] Dave is young.[(triple2)] Gary is smart.[(triple3)]