Dave is red. If something is white then it is red. If Dave is not red then Dave is not rough. All big, rough things are kind. If something is rough and not white then it is kind. Big, quiet things are blue. If Dave is kind then Dave is not quiet.
Dave is big.
@0: Dave is red.[(triple1)]