Bob is nice. Bob is quiet. Bob is red. Bob is round. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Erin is not big. Erin is furry. Gary is big. Gary is furry. Gary is quiet. Gary is not red. Gary is not round. Gary is not smart. If Erin is furry then Erin is quiet. If Erin is quiet then Erin is round. If someone is quiet and round then they are smart. If someone is big and red then they are not round. If Gary is furry then Gary is not nice. If someone is red and not round then they are not nice.
Bob is not smart.