Dave is big. Dave is furry. Dave is quiet. Dave is rough. Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. If someone is furry then they are nice. Nice people are furry. Smart people are nice. If Dave is rough and Dave is nice then Dave is red. If Erin is red then Erin is quiet. Red people are furry. If someone is big and red then they are smart. All nice people are furry.
Erin is not smart.