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