Charlie is furry. Charlie is kind. Charlie is smart. Fiona is big. Fiona is furry. Fiona is smart. Fiona is young. Young things are quiet. All quiet things are furry. Red, big things are quiet. All red, kind things are young. Kind things are big. Kind, red things are quiet. Smart things are red. If something is smart then it is big.
Charlie is not red.