Dave is smart. If someone is big and smart then they are young. Round, red people are not smart. If someone is round then they are not smart. All blue, smart people are furry. If someone is blue and round then they are not furry. If someone is furry and not big then they are round. Blue, smart people are round. If Dave is red and Dave is round then Dave is not blue.
Dave is not young.
@0: Dave is smart.[(triple1)]