Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. If Charlie is nice and Charlie is rough then Charlie is kind. Blue, smart people are rough. If someone is smart and rough then they are kind. If Charlie is kind and Charlie is smart then Charlie is cold. Smart people are rough. If someone is nice and kind then they are cold. All smart people are blue. If someone is rough and nice then they are cold.
Charlie is not rough.