Dave is white. Gary is white. All big things are kind. If something is big then it is kind. If something is rough and not furry then it is big. Kind things are white. If something is big and not nice then it is not white. If something is kind and not big then it is not smart. If something is rough and nice then it is smart. If something is nice and not kind then it is smart.
Dave is not white.
@0: Dave is white.[(triple1)] Gary is white.[(triple2)]