Bob is big. Bob is quiet. Bob is not red. Bob is rough. Bob is smart. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Kind things are rough. All rough, big things are green. If Erin is big then Erin is quiet. Big things are smart. If Erin is big and Erin is not green then Erin is not kind. If something is rough and not green then it is quiet. If Bob is red and Bob is not green then Bob is not smart. If Erin is not quiet then Erin is not rough.
Bob is not green.