Bob is round. Erin is green. Erin is young. If Erin is green and Erin is not round then Erin is not smart. All blue things are young. If Bob is blue and Bob is red then Bob is smart. If Erin is nice and Erin is blue then Erin is green. If something is blue and not nice then it is not red. If Bob is young then Bob is red.
Bob is nice.