Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. All red things are cold. Quiet, green things are cold. Red, furry things are rough. If something is rough then it is green. All quiet things are red. If Anne is big and Anne is rough then Anne is red. If something is not furry and not rough then it is cold. If something is big and not rough then it is green.
Anne is big.