Anne is blue. Erin is rough. Erin is round. All rough things are kind. All kind things are big. All big things are cold. If Anne is rough and Anne is cold then Anne is blue. All big things are rough. If something is blue and rough then it is round.
Anne is not big.