Anne is nice. Gary is red. If Gary is nice then Gary is round. All nice things are round. Round things are kind. If something is round and nice then it is big. Kind things are not furry. Round, furry things are nice. If something is green and not round then it is big. If something is red and not kind then it is not furry.
Anne is not green.