Anne is big. Anne is cold. Anne is rough. Charlie is furry. Charlie is quiet. Charlie is not rough. Charlie is smart. All red people are smart. Big people are red. Cold people are rough. If Charlie is big and Charlie is quiet then Charlie is furry. Rough, quiet people are smart. All furry, smart people are quiet. Rough people are big. If Anne is quiet and Anne is not smart then Anne is not big.
Anne is not smart.