Dave is red. All rough people are not kind. All furry people are kind. If someone is kind and red then they are young. Furry people are young. If someone is rough then they are not young. All nice people are rough. If Dave is red and Dave is young then Dave is furry. If someone is young and not nice then they are not furry.
Dave is red.
@0: Dave is red.[(triple1)]