Dave is green. All nice, cold people are red. Furry people are red. If someone is round then they are cold. If Dave is kind then Dave is green. Furry people are round. If someone is red and round then they are furry. All red, kind people are round. Green, red people are kind.
Dave is not green.
@0: Dave is green.[(triple1)]