「あの彫刻はアメリカ政府でないけど本ペディメント断片だ」ということは成り立つということはない
fact1: もしもあの再生計画は塗り易いということはないとすると「取り組み易くないか乗り越すかまたはどちらもである」ということは誤りである fact2: もし「なにかは乗り越すがしかし安くない」ということは誤りでないならば溶け難い fact3: もしあるものは具体的内容であるとすれば「アメリカ政府でなくてまた本ペディメント断片だ」ということは成り立つということはない fact4: もしもあのコラーゲン繊維が本ペディメント断片でないならあの彫刻はアメリカ政府でないけれど本ペディメント断片である fact5: とある物は慌ただしいとすると「具体的内容だ」ということは嘘でない fact6: あの彫刻が大降りならばそれは慌ただしいし疲れ難くない fact7: もし「あのコラーゲン繊維は具体的内容でない」ということは正しくないとすれば「それは滞り易くないかあるいは伝染病舎だ」ということは偽だ fact8: あの再生計画は塗り易くない fact9: とある物はプロバイダであるかもしくは凍結保存するかまたは両方ともだ fact10: もし「あの再生計画は取り組み易くないか乗り越すかあるいはどちらもである」ということは誤りであるとしたらあのコラーゲン繊維は乗り越す fact11: 仮になんらかの物がプロバイダであるかあるいはそれが凍結保存すればあのコラーゲン繊維は安くない fact12: もし仮に「なにかは滞り易いということはないかもしくは伝染病舎であるかまたは両方だ」ということは嘘だとするとそれは本ペディメント断片でない fact13: あのコラーゲン繊維は具体的内容だ
fact7 & fact13 -> int1: 「あのコラーゲン繊維は滞り易くないかまたは伝染病舎だ」ということは偽である; fact12 -> int2: もし仮に「あのコラーゲン繊維は滞り易くないかあるいはそれは伝染病舎であるかもしくは両方ともだ」ということは間違いであるとすれば本ペディメント断片でない; int1 & int2 -> int3: あのコラーゲン繊維は本ペディメント断片でない; int3 & fact4 -> hypothesis;
「あの彫刻はアメリカ政府だということはない一方で本ペディメント断片だ」ということは誤っている
fact16 -> int4: 仮にあの彫刻は具体的内容なら「それはアメリカ政府でないししかも本ペディメント断片である」ということは成り立たない; fact19 -> int5: もし仮にあの彫刻が慌ただしいならそれは具体的内容である; fact21 -> int6: もし仮にあのコラーゲン繊維は乗り越すけど安くないなら溶け難い; fact22 & fact20 -> int7: 「「あの再生計画は取り組み易いということはないかもしくは乗り越すかどちらもである」ということは間違いだ」ということは成り立つ; fact18 & int7 -> int8: あのコラーゲン繊維は乗り越す; fact15 & fact14 -> int9: あのコラーゲン繊維は安くない; int8 & int9 -> int10: あのコラーゲン繊維は乗り越すがしかし安くない; int6 & int10 -> int11: あのコラーゲン繊維は溶け難い; int11 -> int12: 「溶け難い」物はある;
$facts$ = fact1: もしもあの再生計画は塗り易いということはないとすると「取り組み易くないか乗り越すかまたはどちらもである」ということは誤りである fact2: もし「なにかは乗り越すがしかし安くない」ということは誤りでないならば溶け難い fact3: もしあるものは具体的内容であるとすれば「アメリカ政府でなくてまた本ペディメント断片だ」ということは成り立つということはない fact4: もしもあのコラーゲン繊維が本ペディメント断片でないならあの彫刻はアメリカ政府でないけれど本ペディメント断片である fact5: とある物は慌ただしいとすると「具体的内容だ」ということは嘘でない fact6: あの彫刻が大降りならばそれは慌ただしいし疲れ難くない fact7: もし「あのコラーゲン繊維は具体的内容でない」ということは正しくないとすれば「それは滞り易くないかあるいは伝染病舎だ」ということは偽だ fact8: あの再生計画は塗り易くない fact9: とある物はプロバイダであるかもしくは凍結保存するかまたは両方ともだ fact10: もし「あの再生計画は取り組み易くないか乗り越すかあるいはどちらもである」ということは誤りであるとしたらあのコラーゲン繊維は乗り越す fact11: 仮になんらかの物がプロバイダであるかあるいはそれが凍結保存すればあのコラーゲン繊維は安くない fact12: もし仮に「なにかは滞り易いということはないかもしくは伝染病舎であるかまたは両方だ」ということは嘘だとするとそれは本ペディメント断片でない fact13: あのコラーゲン繊維は具体的内容だ ; $hypothesis$ = 「あの彫刻はアメリカ政府でないけど本ペディメント断片だ」ということは成り立つということはない ; $proof$ = 
fact7 & fact13 -> int1: 「あのコラーゲン繊維は滞り易くないかまたは伝染病舎だ」ということは偽である; fact12 -> int2: もし仮に「あのコラーゲン繊維は滞り易くないかあるいはそれは伝染病舎であるかもしくは両方ともだ」ということは間違いであるとすれば本ペディメント断片でない; int1 & int2 -> int3: あのコラーゲン繊維は本ペディメント断片でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもあの再生計画は塗り易いということはないとすると「取り組み易くないか乗り越すかまたはどちらもである」ということは誤りである
事実2: もし「なにかは乗り越すがしかし安くない」ということは誤りでないならば溶け難い
事実3: もしあるものは具体的内容であるとすれば「アメリカ政府でなくてまた本ペディメント断片だ」ということは成り立つということはない
事実4: もしもあのコラーゲン繊維が本ペディメント断片でないならあの彫刻はアメリカ政府でないけれど本ペディメント断片である
事実5: とある物は慌ただしいとすると「具体的内容だ」ということは嘘でない
事実6: あの彫刻が大降りならばそれは慌ただしいし疲れ難くない
事実7: もし「あのコラーゲン繊維は具体的内容でない」ということは正しくないとすれば「それは滞り易くないかあるいは伝染病舎だ」ということは偽だ
事実8: あの再生計画は塗り易くない
事実9: とある物はプロバイダであるかもしくは凍結保存するかまたは両方ともだ
事実10: もし「あの再生計画は取り組み易くないか乗り越すかあるいはどちらもである」ということは誤りであるとしたらあのコラーゲン繊維は乗り越す
事実11: 仮になんらかの物がプロバイダであるかあるいはそれが凍結保存すればあのコラーゲン繊維は安くない
事実12: もし仮に「なにかは滞り易いということはないかもしくは伝染病舎であるかまたは両方だ」ということは嘘だとするとそれは本ペディメント断片でない
事実13: あのコラーゲン繊維は具体的内容だ

仮説: 「あの彫刻はアメリカ政府でないけど本ペディメント断片だ」ということは成り立つということはない
1. 事実7と事実13から、推論1: "「あのコラーゲン繊維は滞り易くないかまたは伝染病舎だ」ということは偽である"が導かれる
2. 事実12から、推論2: "もし仮に「あのコラーゲン繊維は滞り易くないかあるいはそれは伝染病舎であるかもしくは両方ともだ」ということは間違いであるとすれば本ペディメント断片でない"が導かれる
3. 推論1と推論2から、推論3: "あのコラーゲン繊維は本ペディメント断片でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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