Anne is big. Anne is cold. Anne is round. Anne is young. Bob is rough. Bob is white. Erin is red. Erin is white. Gary is rough. Gary is round. Gary is white. Gary is young. If someone is white then they are big. Young, big people are rough. White people are red. Rough, cold people are big. Rough people are red. All rough people are cold. If Bob is red then Bob is white. If Gary is cold and Gary is young then Gary is rough.
Erin is not round.