Bob is kind. Dave is big. Dave is not nice. Erin is not blue. Erin is nice. Erin is quiet. Erin is not smart. Gary is blue. Gary is nice. Gary is quiet. Gary is smart. Big things are red. If something is kind then it is not smart. If something is blue and not smart then it is kind. If Dave is quiet and Dave is not nice then Dave is blue. Red things are quiet.
Erin is not big.