Bob is big. Bob is blue. Bob is furry. Bob is round. Bob is smart. Erin is blue. Erin is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is round. Fiona is smart. Fiona is white. Gary is furry. Gary is smart. Gary is white. If someone is white and big then they are blue. All big, smart people are red. If Erin is red and Erin is furry then Erin is big. If someone is big then they are smart. If Erin is red and Erin is not white then Erin is big. All round people are furry. Blue people are round. Furry people are big. If someone is furry then they are blue.
Erin is not smart.