Bob is green. Bob is rough. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is white. Erin is blue. Erin is nice. Erin is rough. Erin is white. If someone is rough then they are blue. If someone is nice then they are rough. If Erin is round then Erin is blue. If someone is rough and blue then they are green. If Erin is red then Erin is rough. All blue people are white.
Dave is red.