Anne is green. Bob is nice. Dave is kind. If something is red then it is nice. All nice things are blue. Smart things are nice. Blue things are smart. All nice, kind things are smart. All kind things are red.
Bob is nice.