Anne is big. Anne is nice. Anne is rough. Anne is round. Anne is young. Bob is nice. Charlie is big. Charlie is kind. Erin is big. Erin is rough. All kind people are rough. If Charlie is young then Charlie is rough. If someone is big then they are young. Rough, blue people are big. All nice people are blue. Rough people are kind. All blue, nice people are kind. All round people are blue.
Erin is not round.