Erin is not big. Erin is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is young. Gary is blue. Gary is rough. Gary is young. Harry is rough. If something is not white then it is rough. If something is red and not young then it is big. All rough things are blue. If something is furry then it is not white. If something is not white then it is rough. All big things are furry. If something is blue then it is red. If something is red and not white then it is big.
Erin is not young.