Anne is red. Bob is red. Bob is rough. Charlie is green. Harry is cold. Harry is green. Harry is round. If Harry is cold and Harry is round then Harry is smart. Rough, red things are cold. If something is round then it is big. All red things are big. All round things are green. If something is cold and red then it is rough. If something is smart and green then it is big. If something is smart then it is big.
Anne is not green.