Anne is not nice. Anne is quiet. Charlie is big. Dave is not round. Dave is smart. Dave is white. Gary is blue. All big, smart people are round. If someone is smart and quiet then they are not white. If someone is white and not blue then they are not nice. If someone is quiet then they are round. Round people are big. If someone is not white then they are quiet. If someone is big then they are smart. If someone is quiet and not smart then they are not round.
Dave is not blue.