Anne is cold. Anne is green. Anne is smart. Bob is smart. Erin is cold. Erin is kind. Gary is cold. Gary is kind. Gary is rough. Gary is smart. If Bob is green and Bob is big then Bob is kind. All big people are green. If someone is not cold then they are not quiet. All quiet, big people are green. If someone is rough and not quiet then they are big. If someone is not green then they are not rough.
Bob is not kind.