Bob is furry. Bob is not kind. Bob is young. Dave is not furry. Erin is furry. Erin is red. Erin is smart. Erin is white. Gary is kind. Gary is white. All green people are white. If Gary is not red then Gary is young. If Bob is white and Bob is green then Bob is kind. All smart people are kind. If Gary is furry and Gary is not young then Gary is smart. If Erin is green and Erin is not white then Erin is young.
Bob is red.