Bob is big. Bob is kind. Bob is red. Erin is big. Erin is not kind. Erin is red. Gary is nice. Gary is not rough. Harry is rough. Harry is round. All kind people are rough. If someone is red then they are big. Big, blue people are not round. If Bob is round then Bob is not nice. All big people are blue. If someone is not big then they are round. If Bob is red and Bob is not big then Bob is blue. If someone is not round and not nice then they are blue.
Erin is not red.