「その全世界は女官長でない」ということは真実だ
fact1: 仮にあるものは大型でないならば「それは赤道上空であるししかもそれは犯し難い」ということは偽である fact2: 仮に「引き難い」ものがあるとするとこのコーヒーテーブルは通訳する fact3: もし仮にその鼻骨下端が大型であるとするとその全世界は赤道上空だけれどそれは犯し難いということはない fact4: もしこのコーヒーテーブルは通訳するとすると「その鼻骨下端は大型だ」ということは本当だ fact5: このガーデンライトは女官長だ fact6: 「「引き難い」ということは真実である」物はある fact7: その全世界は女官長である
fact7 -> hypothesis;
fact7 -> hypothesis;
その綱領は女官長である
$facts$ = fact1: 仮にあるものは大型でないならば「それは赤道上空であるししかもそれは犯し難い」ということは偽である fact2: 仮に「引き難い」ものがあるとするとこのコーヒーテーブルは通訳する fact3: もし仮にその鼻骨下端が大型であるとするとその全世界は赤道上空だけれどそれは犯し難いということはない fact4: もしこのコーヒーテーブルは通訳するとすると「その鼻骨下端は大型だ」ということは本当だ fact5: このガーデンライトは女官長だ fact6: 「「引き難い」ということは真実である」物はある fact7: その全世界は女官長である ; $hypothesis$ = 「その全世界は女官長でない」ということは真実だ ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは大型でないならば「それは赤道上空であるししかもそれは犯し難い」ということは偽である
事実2: 仮に「引き難い」ものがあるとするとこのコーヒーテーブルは通訳する
事実3: もし仮にその鼻骨下端が大型であるとするとその全世界は赤道上空だけれどそれは犯し難いということはない
事実4: もしこのコーヒーテーブルは通訳するとすると「その鼻骨下端は大型だ」ということは本当だ
事実5: このガーデンライトは女官長だ
事実6: 「「引き難い」ということは真実である」物はある
事実7: その全世界は女官長である

仮説: 「その全世界は女官長でない」ということは真実だ
1. 事実7から、仮説が否定される

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