Bob is big. Bob is kind. Bob is nice. Bob is round. Bob is young. Dave is big. Dave is round. Erin is big. Erin is kind. Erin is red. Harry is big. If someone is red then they are kind. All young, nice people are blue. Kind, red people are nice. If Erin is young then Erin is big. If someone is blue then they are red. If Dave is round and Dave is nice then Dave is young. If someone is big and round then they are blue.
Erin is red.