「「仮に偉いなら「内地でない一方で抵抗出来る」ということは間違いな」物はある」ということは間違っている
fact1: 仮に何らかのものは偉いなら「それは内地でないしまた抵抗出来る」ということは嘘である fact2: もし何かは書き上げれば「それは大廊下でないしまたクローリーだ」ということは誤りである fact3: 仮になんらかのものは偉いとすれば「内地だしおまけにそれは抵抗出来る」ということは事実と異なる fact4: あの新基準が偉いならば内地でないがしかし抵抗出来る fact5: 「もしも偉いならば内地でないがしかし抵抗出来る」ものはある fact6: 「あの新基準は偉い」ということは成り立てば「それは内地だし加えて抵抗出来る」ということは成り立たない fact7: 仮になんらかのものが偉いとすればそれは内地でないけれど抵抗出来る fact8: 「「偉い」ということは本当であるならば「内地であるし抵抗出来る」ということは成り立つということはない」物はある
fact1 -> int1: もしあの新基準は偉いならば「それは内地でない一方で抵抗出来る」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 仮に何らかのものは偉いなら「それは内地でないしまた抵抗出来る」ということは嘘である fact2: もし何かは書き上げれば「それは大廊下でないしまたクローリーだ」ということは誤りである fact3: 仮になんらかのものは偉いとすれば「内地だしおまけにそれは抵抗出来る」ということは事実と異なる fact4: あの新基準が偉いならば内地でないがしかし抵抗出来る fact5: 「もしも偉いならば内地でないがしかし抵抗出来る」ものはある fact6: 「あの新基準は偉い」ということは成り立てば「それは内地だし加えて抵抗出来る」ということは成り立たない fact7: 仮になんらかのものが偉いとすればそれは内地でないけれど抵抗出来る fact8: 「「偉い」ということは本当であるならば「内地であるし抵抗出来る」ということは成り立つということはない」物はある ; $hypothesis$ = 「「仮に偉いなら「内地でない一方で抵抗出来る」ということは間違いな」物はある」ということは間違っている ; $proof$ = 
fact1 -> int1: もしあの新基準は偉いならば「それは内地でない一方で抵抗出来る」ということは間違いだ; int1 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものは偉いなら「それは内地でないしまた抵抗出来る」ということは嘘である
事実2: もし何かは書き上げれば「それは大廊下でないしまたクローリーだ」ということは誤りである
事実3: 仮になんらかのものは偉いとすれば「内地だしおまけにそれは抵抗出来る」ということは事実と異なる
事実4: あの新基準が偉いならば内地でないがしかし抵抗出来る
事実5: 「もしも偉いならば内地でないがしかし抵抗出来る」ものはある
事実6: 「あの新基準は偉い」ということは成り立てば「それは内地だし加えて抵抗出来る」ということは成り立たない
事実7: 仮になんらかのものが偉いとすればそれは内地でないけれど抵抗出来る
事実8: 「「偉い」ということは本当であるならば「内地であるし抵抗出来る」ということは成り立つということはない」物はある

仮説: 「「仮に偉いなら「内地でない一方で抵抗出来る」ということは間違いな」物はある」ということは間違っている
1. 事実1から、推論1: "もしあの新基準は偉いならば「それは内地でない一方で抵抗出来る」ということは間違いだ"が導かれる
2. 推論1から、仮説が否定される

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