Charlie is blue. Charlie is round. Gary is red. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is white. All white, smart things are red. All round things are white. If something is red and quiet then it is blue. All round, big things are red. If something is big then it is blue. If something is blue then it is smart.
Gary is big.