Anne is red. Bob is furry. Bob is red. Quiet people are red. White, smart people are not nice. All red people are nice. All red, nice people are white. White, furry people are quiet. If Bob is rough then Bob is nice.
Anne is not smart.