Bob is kind. Dave is big. Dave is kind. Dave is not nice. Erin is blue. Fiona is furry. Fiona is smart. If Fiona is kind and Fiona is not furry then Fiona is not white. If someone is furry then they are smart. If someone is smart and blue then they are not nice. All furry people are blue. If someone is kind and not big then they are smart. If Bob is not kind then Bob is nice.
Erin is smart.