Erin is big. Erin is nice. Erin is round. Erin is smart. Fiona is nice. Fiona is rough. Fiona is round. All rough people are red. If someone is big and not round then they are not rough. If someone is furry and not nice then they are smart.
Erin is not red.