Anne is kind. Bob is round. All cold things are smart. If something is smart then it is rough. Cold things are kind. Kind things are furry. All furry, big things are cold. All kind, round things are rough.
Bob is not round.