Bob is big. Bob is green. Bob is red. Bob is round. Bob is white. Erin is big. Erin is round. Harry is big. Harry is furry. Harry is green. Big things are green. White, smart things are furry. If something is red and not smart then it is white. All smart, white things are green. If something is not smart then it is green. If something is green and not red then it is not white. All furry things are big. If something is round and not green then it is not white.
Erin is not smart.