Bob is big. Bob is not furry. Bob is green. Bob is rough. Bob is smart. Bob is young. Erin is kind. Erin is rough. Erin is young. Gary is big. Gary is furry. Gary is green. Gary is not kind. Gary is rough. Gary is not smart. Gary is young. If Gary is not rough then Gary is not young. All smart things are kind.
Bob is not kind.