Dave is big. Dave is kind. Dave is round. Erin is big. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Gary is big. Gary is kind. Gary is quiet. Gary is not rough. Gary is round. Gary is smart. Gary is white. If someone is white then they are quiet. All quiet people are smart. If someone is round and not white then they are quiet.
Dave is not smart.