Dave is smart. White people are furry. If Dave is rough then Dave is quiet. Rough people are quiet. If Dave is smart and Dave is not furry then Dave is rough. If someone is green then they are not smart. If someone is quiet then they are not green.
Dave is not rough.
@0: Dave is smart.[(triple1)]