Bob is rough. Charlie is not kind. Erin is young. Gary is rough. Young things are white. Cold things are smart. If something is white then it is smart. All young, white things are smart. All smart things are kind. If something is not smart then it is not young. If something is rough and not kind then it is furry. If Gary is kind and Gary is not furry then Gary is young.
Bob is not cold.