Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. Bob is round. Bob is white. Charlie is blue. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Erin is red. Erin is rough. If someone is round then they are white. If someone is round then they are young. All rough people are nice. Red, white people are rough. All rough, round people are red. If Anne is blue and Anne is red then Anne is nice.
Erin is not round.