「あの民間クリアリング組織はガス等であるかまたはそれは渡欧しない」ということは成り立たない
fact1: この証拠調べ手続きは図り難くない fact2: 大きいものはあれば「その帝国文学はガス等であるかまたは渡欧するかもしくは両方ともである」ということは正しい fact3: その帝国文学はガス等であるかもしくはそれは大きいということはないかもしくはどちらもだ fact4: 仮にこの証拠調べ手続きが図り難くないとすれば上り易いし縮小出来る fact5: 「あの民間クリアリング組織はガス等であるかもしくは渡欧する」ということは成り立つ fact6: 「「大きい」ということは成り立つ」ものがあるとするとあの民間クリアリング組織はガス等であるかあるいは渡欧しないかどちらもである fact7: 「その帝国文学は大きい」ということは事実である fact8: その帝国文学は代替するかあるいはガス等であるかまたは両方である fact9: あの沈殿物はガス等である fact10: もしもこの証拠調べ手続きが上り易いがしかし大きくないとしたらあの民間クリアリング組織は大きくない
fact7 -> int1: 「大きい」物はある; int1 & fact6 -> hypothesis;
「あの民間クリアリング組織はガス等であるかもしくは渡欧しない」ということは事実と異なる
fact12 & fact13 -> int2: この証拠調べ手続きは上り易くて加えてそれは縮小出来る; int2 -> int3: この証拠調べ手続きは上り易い;
$facts$ = fact1: この証拠調べ手続きは図り難くない fact2: 大きいものはあれば「その帝国文学はガス等であるかまたは渡欧するかもしくは両方ともである」ということは正しい fact3: その帝国文学はガス等であるかもしくはそれは大きいということはないかもしくはどちらもだ fact4: 仮にこの証拠調べ手続きが図り難くないとすれば上り易いし縮小出来る fact5: 「あの民間クリアリング組織はガス等であるかもしくは渡欧する」ということは成り立つ fact6: 「「大きい」ということは成り立つ」ものがあるとするとあの民間クリアリング組織はガス等であるかあるいは渡欧しないかどちらもである fact7: 「その帝国文学は大きい」ということは事実である fact8: その帝国文学は代替するかあるいはガス等であるかまたは両方である fact9: あの沈殿物はガス等である fact10: もしもこの証拠調べ手続きが上り易いがしかし大きくないとしたらあの民間クリアリング組織は大きくない ; $hypothesis$ = 「あの民間クリアリング組織はガス等であるかまたはそれは渡欧しない」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「大きい」物はある; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: この証拠調べ手続きは図り難くない
事実2: 大きいものはあれば「その帝国文学はガス等であるかまたは渡欧するかもしくは両方ともである」ということは正しい
事実3: その帝国文学はガス等であるかもしくはそれは大きいということはないかもしくはどちらもだ
事実4: 仮にこの証拠調べ手続きが図り難くないとすれば上り易いし縮小出来る
事実5: 「あの民間クリアリング組織はガス等であるかもしくは渡欧する」ということは成り立つ
事実6: 「「大きい」ということは成り立つ」ものがあるとするとあの民間クリアリング組織はガス等であるかあるいは渡欧しないかどちらもである
事実7: 「その帝国文学は大きい」ということは事実である
事実8: その帝国文学は代替するかあるいはガス等であるかまたは両方である
事実9: あの沈殿物はガス等である
事実10: もしもこの証拠調べ手続きが上り易いがしかし大きくないとしたらあの民間クリアリング組織は大きくない

仮説: 「あの民間クリアリング組織はガス等であるかまたはそれは渡欧しない」ということは成り立たない
1. 事実7から、推論1: "「大きい」物はある"が導かれる
2. 推論1と事実6から、仮説が否定される

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