Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. All nice, smart people are furry. If someone is kind and red then they are nice. If someone is furry then they are red. Big, furry people are red. If Charlie is round then Charlie is furry. Nice people are smart. All smart, big people are nice. If someone is round and smart then they are big.
Bob is not nice.