Bob is big. Bob is furry. Bob is kind. Bob is rough. Bob is young. Erin is furry. Erin is rough. Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. Harry is big. Harry is red. Harry is rough. Harry is white. All kind people are rough. Red people are furry. All furry people are big. All kind people are rough. White, rough people are red. If Erin is big then Erin is rough.
Bob is not red.