この乱取り・試合は箇条書きするということはない
fact1: 「この新経済政策は手厳しくてそれにそれは包まる」ということは成り立たない fact2: もしもこの新経済政策は可愛くないならば「それは手厳しくないけれど包まる」ということは誤りである fact3: 仮にこの新経済政策は可愛くないならば「箇条書きしなくておまけにそれは包まる」ということは偽だ fact4: この論告は遂行すらない fact5: 「「手厳しいし箇条書きする」ということは成り立たない」ものはある fact6: この新経済政策は可愛くない fact7: もし「「可愛くない一方で包まる」ということは成り立たない」物があればこの新経済政策は箇条書きする fact8: もしこの新経済政策がドレッサーであるならこの乱取り・試合は可愛い fact9: もし仮に「「手厳しくないしかつ包まる」ということは成り立たない」物があるとしたらこの乱取り・試合は箇条書きする
fact2 & fact6 -> int1: 「この新経済政策は手厳しくないけど包まる」ということは間違っている; int1 -> int2: 「「手厳しくないしかつ包まる」ということは間違っている」物はある; int2 & fact9 -> hypothesis;
fact2 & fact6 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): ¬(¬{AA}x & {AB}x); int2 & fact9 -> hypothesis;
この乱取り・試合は箇条書きするということはない
$facts$ = fact1: 「この新経済政策は手厳しくてそれにそれは包まる」ということは成り立たない fact2: もしもこの新経済政策は可愛くないならば「それは手厳しくないけれど包まる」ということは誤りである fact3: 仮にこの新経済政策は可愛くないならば「箇条書きしなくておまけにそれは包まる」ということは偽だ fact4: この論告は遂行すらない fact5: 「「手厳しいし箇条書きする」ということは成り立たない」ものはある fact6: この新経済政策は可愛くない fact7: もし「「可愛くない一方で包まる」ということは成り立たない」物があればこの新経済政策は箇条書きする fact8: もしこの新経済政策がドレッサーであるならこの乱取り・試合は可愛い fact9: もし仮に「「手厳しくないしかつ包まる」ということは成り立たない」物があるとしたらこの乱取り・試合は箇条書きする ; $hypothesis$ = この乱取り・試合は箇条書きするということはない ; $proof$ = 
fact2 & fact6 -> int1: 「この新経済政策は手厳しくないけど包まる」ということは間違っている; int1 -> int2: 「「手厳しくないしかつ包まる」ということは間違っている」物はある; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「この新経済政策は手厳しくてそれにそれは包まる」ということは成り立たない
事実2: もしもこの新経済政策は可愛くないならば「それは手厳しくないけれど包まる」ということは誤りである
事実3: 仮にこの新経済政策は可愛くないならば「箇条書きしなくておまけにそれは包まる」ということは偽だ
事実4: この論告は遂行すらない
事実5: 「「手厳しいし箇条書きする」ということは成り立たない」ものはある
事実6: この新経済政策は可愛くない
事実7: もし「「可愛くない一方で包まる」ということは成り立たない」物があればこの新経済政策は箇条書きする
事実8: もしこの新経済政策がドレッサーであるならこの乱取り・試合は可愛い
事実9: もし仮に「「手厳しくないしかつ包まる」ということは成り立たない」物があるとしたらこの乱取り・試合は箇条書きする

仮説: この乱取り・試合は箇条書きするということはない
1. 事実2と事実6から、推論1: "「この新経済政策は手厳しくないけど包まる」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「手厳しくないしかつ包まる」ということは間違っている」物はある"が導かれる
3. 推論2と事実9から、仮説が否定される

よって、仮説が否定されました。