Bob is nice. Erin is white. Gary is smart. Harry is young. White people are smart. Smart, blue people are nice. If Bob is young then Bob is big. Blue people are nice. If someone is big then they are white. If someone is young and not smart then they are red. If someone is blue and not big then they are not red. If someone is nice and not big then they are not smart.
Harry is not smart.