Dave is green. Dave is rough. Dave is white. Erin is big. Erin is green. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is green. Harry is round. Harry is white. If someone is not white then they are round. Round people are rough. If Erin is not white then Erin is round. All white people are young. Young people are red. If Dave is young and Dave is not red then Dave is not round. If Gary is young and Gary is not rough then Gary is red. If someone is not red then they are round.
Erin is not red.