Bob is green. Bob is kind. Dave is not nice. Dave is not rough. Dave is white. Erin is nice. Gary is big. All blue, kind things are rough. If Erin is blue then Erin is big. If something is nice and white then it is blue. All rough things are green. All nice things are rough. If something is big then it is white. If Bob is blue then Bob is green. If something is green then it is big. If something is big and not white then it is not rough.
Dave is not green.