「その財政規律は後進国であるということはないしそれは散布しない」ということは成り立たない
fact1: 「その財政規律は拭き始めないしさらに支払い対価であるということはない」ということは確かである fact2: あの恍惚状態はドット柄であるしかつそれは愚図る fact3: 支払い対価は拭き始めない fact4: もし「その財政規律は支払い対価だ」ということは本当だとすればその御猪口は支払い対価だ fact5: 「その財政規律は支払い対価でない」ということは確かだとすれば「それは後進国でないしまた散布するということはない」ということは成り立たない fact6: 仮に「この専攻科目は聳え立つということはない」ということは確かだとしたら「劣化要因であるということはないし包み込まない」ということは成り立たない fact7: その財政規律は拭き始めない fact8: 「その財政規律は後進国であるが散布しない」ということは嘘である fact9: その財政規律は支払い対価でないならば「それは後進国でかつ散布するということはない」ということは成り立たない fact10: ドット柄は支払い対価だ一方で拭き始めない fact11: 仮にあの恍惚状態が拭き始めないならばその財政規律は後進国でない
fact1 -> int1: その財政規律は支払い対価でない; int1 & fact5 -> hypothesis;
fact1 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
その財政規律は後進国でなくてかつ散布しない
fact14 -> int2: あの恍惚状態がドット柄だとすればそれは支払い対価だけど拭き始めない; fact13 -> int3: あの恍惚状態はドット柄である; int2 & int3 -> int4: あの恍惚状態は支払い対価であるがしかしそれは拭き始めるということはない; int4 -> int5: あの恍惚状態は拭き始めない; fact12 & int5 -> int6: その財政規律は後進国でない;
$facts$ = fact1: 「その財政規律は拭き始めないしさらに支払い対価であるということはない」ということは確かである fact2: あの恍惚状態はドット柄であるしかつそれは愚図る fact3: 支払い対価は拭き始めない fact4: もし「その財政規律は支払い対価だ」ということは本当だとすればその御猪口は支払い対価だ fact5: 「その財政規律は支払い対価でない」ということは確かだとすれば「それは後進国でないしまた散布するということはない」ということは成り立たない fact6: 仮に「この専攻科目は聳え立つということはない」ということは確かだとしたら「劣化要因であるということはないし包み込まない」ということは成り立たない fact7: その財政規律は拭き始めない fact8: 「その財政規律は後進国であるが散布しない」ということは嘘である fact9: その財政規律は支払い対価でないならば「それは後進国でかつ散布するということはない」ということは成り立たない fact10: ドット柄は支払い対価だ一方で拭き始めない fact11: 仮にあの恍惚状態が拭き始めないならばその財政規律は後進国でない ; $hypothesis$ = 「その財政規律は後進国であるということはないしそれは散布しない」ということは成り立たない ; $proof$ = 
fact1 -> int1: その財政規律は支払い対価でない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「その財政規律は拭き始めないしさらに支払い対価であるということはない」ということは確かである
事実2: あの恍惚状態はドット柄であるしかつそれは愚図る
事実3: 支払い対価は拭き始めない
事実4: もし「その財政規律は支払い対価だ」ということは本当だとすればその御猪口は支払い対価だ
事実5: 「その財政規律は支払い対価でない」ということは確かだとすれば「それは後進国でないしまた散布するということはない」ということは成り立たない
事実6: 仮に「この専攻科目は聳え立つということはない」ということは確かだとしたら「劣化要因であるということはないし包み込まない」ということは成り立たない
事実7: その財政規律は拭き始めない
事実8: 「その財政規律は後進国であるが散布しない」ということは嘘である
事実9: その財政規律は支払い対価でないならば「それは後進国でかつ散布するということはない」ということは成り立たない
事実10: ドット柄は支払い対価だ一方で拭き始めない
事実11: 仮にあの恍惚状態が拭き始めないならばその財政規律は後進国でない

仮説: 「その財政規律は後進国であるということはないしそれは散布しない」ということは成り立たない
1. 事実1から、推論1: "その財政規律は支払い対価でない"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。