Anne is big. Anne is kind. Anne is rough. Anne is smart. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. All big, cold things are round. Young things are cold. Round, kind things are smart. If Charlie is rough then Charlie is young. Kind things are young. If Anne is big and Anne is smart then Anne is young.
Anne is not cold.