Bob is smart. Dave is not kind. Dave is red. If something is nice and smart then it is green. If something is nice then it is quiet. All big, quiet things are nice. If something is nice then it is big. If Dave is red and Dave is big then Dave is green. If something is nice and not green then it is not smart. If something is kind and not nice then it is not big. If something is not green then it is not quiet.
Bob is not nice.