Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is white. Erin is big. Erin is quiet. Erin is red. Erin is round. Erin is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is rough. All nice people are rough. If someone is round and rough then they are white. Rough, big people are white. If Gary is big then Gary is quiet. Red, nice people are white. If someone is red and rough then they are nice. If Bob is red then Bob is big. Red people are quiet.
Gary is not rough.