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