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