Bob is big. Bob is not blue. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Dave is not blue. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Erin is not blue. Erin is kind. Erin is not round. Erin is not smart. If Dave is big and Dave is nice then Dave is smart. Round, quiet things are nice. Quiet, big things are round. If something is nice then it is big. If something is kind and not smart then it is quiet. If Dave is blue and Dave is not smart then Dave is nice.
Erin is not blue.