Bob is green. Bob is smart. Bob is white. Dave is kind. Dave is rough. Dave is round. Dave is white. If someone is white then they are smart. If Bob is smart and Bob is green then Bob is kind. If Dave is white and Dave is red then Dave is smart. All red, rough people are smart. If someone is white and round then they are rough. If someone is red then they are kind.
Bob is round.