Dave is red. Nice, kind people are round. Red, kind people are rough. Kind, rough people are quiet. If Dave is green then Dave is red. If Dave is quiet then Dave is green. If Dave is green and Dave is rough then Dave is round. All nice, red people are round. All nice, round people are kind.
Dave is red.
@0: Dave is red.[(triple1)]