Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. If something is kind and round then it is smart. All green things are smart. White, green things are red. All white things are green. If Bob is round then Bob is smart. All round, white things are smart. If something is nice then it is round. Green, round things are kind.
Bob is red.