इस वाक्य का अधिक जटिल संस्करण उत्पन्न करें अब 'n' 't' से छोटा है, और 't' 'S' का सबसे छोटा तत्व है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "अब 'n' 't' से कम है, और 't' 'S का सबसे छोटा तत्व है। इसका परिणाम यह है कि 'n' S में नहीं है, और इसलिए P ('n' ') सच है। "