Bob is big. Bob is green. Bob is red. Bob is rough. Bob is white. Erin is green. Fiona is kind. Fiona is white. Gary is big. Gary is furry. Gary is kind. Gary is red. If someone is big then they are rough. White, rough people are green. All green people are furry. Furry people are big. All rough, kind people are big. If Erin is red and Erin is big then Erin is kind.
Erin is red.