Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. If something is rough then it is red. Nice things are smart. If Anne is round then Anne is smart. Cold, nice things are kind. All kind things are smart. If Anne is round and Anne is kind then Anne is nice. All rough, round things are red. Red, rough things are smart.
Anne is not nice.