\"\" \ \

\

Let \"\" be the statement that \"\". \ \

\

Verify that \"\" is true for \"\". \ \

\

\"\" \ \

\

\"\" \ \

\

\"\" is true for \"\". \ \

\

\"\" \ \

\

Verify that \"\" is true for \"\". \ \

\

\"\" \ \

\

\"\" \ \

\

\"\" is not true for \"\". \ \

\

\"\" \ \

\

 

\

\

\"\" is false for \"\".

\