Charlie is big. Charlie is not blue. Charlie is not furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Fiona is nice. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is rough. Gary is round. If someone is nice then they are big. If someone is nice then they are green. Green people are round. If someone is green and not blue then they are big. If Charlie is round then Charlie is rough. If someone is rough and not nice then they are round. If someone is blue and not rough then they are not green. If Charlie is green and Charlie is not round then Charlie is big.
Charlie is not blue.