Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is nice. Gary is quiet. If Gary is quiet then Gary is red. Smart, red people are furry. All furry people are smart. All furry people are smart. If someone is red then they are smart. All furry people are red. All quiet, red people are nice. If Charlie is big then Charlie is red.
Charlie is not big.