Anne is quiet. Erin is red. Erin is round. Gary is furry. Gary is red. Gary is round. Gary is smart. Harry is furry. Harry is quiet. Harry is smart. Furry people are round. Furry people are nice. All furry people are round. All red, smart people are nice. If someone is round then they are nice. If someone is quiet then they are smart. If someone is nice then they are furry. All smart people are red. If someone is nice then they are furry.
Erin is not smart.