Dave is red. Erin is big. Fiona is green. Gary is big. If Dave is big and Dave is red then Dave is rough. All rough people are big. All round, big people are white. If someone is not red then they are round. If Gary is white then Gary is nice. If Erin is white then Erin is nice. If Erin is not big then Erin is not nice. If Dave is rough and Dave is not big then Dave is white.
Dave is red.