Anne is green. Anne is kind. Anne is quiet. Anne is smart. Bob is big. Bob is not quiet. Bob is white. Dave is big. Dave is white. Gary is nice. If something is big and nice then it is smart. Smart things are not big. Nice, white things are green. If Anne is white then Anne is kind. If something is quiet and not green then it is smart. If Dave is not green and Dave is not big then Dave is nice. If Gary is nice and Gary is not green then Gary is quiet. If something is nice and not smart then it is not white.
Bob is nice.