Bob is big. Bob is red. Bob is not white. Erin is big. Erin is green. Harry is blue. Harry is red. If someone is not big then they are white. If Erin is blue and Erin is cold then Erin is white. If someone is red and not big then they are nice.
Bob is not nice.