Bob is blue. Charlie is not big. Erin is white. Gary is blue. If Charlie is big and Charlie is rough then Charlie is white. If Charlie is nice and Charlie is big then Charlie is blue. All blue people are big. All big people are white. Big people are young. If someone is not cold then they are rough.
Erin is not young.