Charlie is white. Dave is not white. Gary is not white. If something is rough then it is red. Kind, quiet things are red. Rough things are not red. If something is nice and red then it is white. If something is red then it is white. If something is kind and big then it is quiet. If something is quiet and rough then it is not kind. If something is nice then it is kind.
Dave is not white.
@0: Charlie is white.[(triple1)] Dave is not white.[(triple2)] Gary is not white.[(triple3)]