Bob is blue. Bob is red. Bob is white. Charlie is furry. Charlie is round. Dave is furry. Dave is kind. Dave is white. Fiona is furry. Fiona is not kind. If something is kind and smart then it is red. All red, white things are not round. All furry things are blue. If something is smart then it is white. If Dave is round and Dave is kind then Dave is white. All blue, furry things are smart. If something is white and not round then it is red. If Bob is furry and Bob is red then Bob is blue.
Charlie is smart.