Anne is quiet. Anne is smart. Anne is white. Dave is quiet. Dave is not round. Dave is smart. Dave is white. Gary is not big. Gary is not quiet. Gary is smart. Gary is not white. Gary is young. All round things are white. If something is not big then it is blue. Big things are not young.
Dave is not blue.