もし仮に「「このピアノ協奏曲はフーチでないがどでかい」ということは成り立つ」ということは成り立つということはないならば「その負担分はジョイントだ」ということは正しい
fact1: もしもこのピアノ協奏曲はフーチでない一方でどでかいとすれば上げ易い fact2: もしも「このピアノ協奏曲はダーモスコピーでないけどそれはジョイントである」ということは成り立つということはないならばその負担分はどでかい fact3: 「「このピアノ協奏曲は上げ易いということはないがしかしジョイントだ」ということは確かである」ということは間違っている fact4: 「このピアノ協奏曲はフーチでないがどでかい」ということは誤っているとしたらそれは上げ易い fact5: もしその負担分がフーチであるとするとこのピアノ協奏曲はダーモスコピーでないがしかしそれはどでかい fact6: もし仮に「このピアノ協奏曲はダーモスコピーでないが上げ易い」ということは誤っているならそれは上げ易いということはない fact7: もしこのピアノ協奏曲が上げ易いとしたらその負担分はダーモスコピーでないけれどジョイントである fact8: その負担分は上げ易くない fact9: もしこのピアノ協奏曲がフーチだということはないがどでかいとするとその負担分はジョイントである fact10: 「このピアノ協奏曲はフーチであるしその上それはどでかい」ということは成り立たない fact11: その負担分はマラソンランナーだ
void -> assump1: 以下のように仮定する。「このピアノ協奏曲はフーチでないけれどどでかい」ということは偽である; fact4 & assump1 -> int1: このピアノ協奏曲は上げ易い; int1 & fact7 -> int2: その負担分はダーモスコピーでないがしかしジョイントだ; int2 -> int3: 「その負担分はジョイントである」ということは正しい; [assump1] & int3 -> hypothesis;
そのサイプレスはどでかい
$facts$ = fact1: もしもこのピアノ協奏曲はフーチでない一方でどでかいとすれば上げ易い fact2: もしも「このピアノ協奏曲はダーモスコピーでないけどそれはジョイントである」ということは成り立つということはないならばその負担分はどでかい fact3: 「「このピアノ協奏曲は上げ易いということはないがしかしジョイントだ」ということは確かである」ということは間違っている fact4: 「このピアノ協奏曲はフーチでないがどでかい」ということは誤っているとしたらそれは上げ易い fact5: もしその負担分がフーチであるとするとこのピアノ協奏曲はダーモスコピーでないがしかしそれはどでかい fact6: もし仮に「このピアノ協奏曲はダーモスコピーでないが上げ易い」ということは誤っているならそれは上げ易いということはない fact7: もしこのピアノ協奏曲が上げ易いとしたらその負担分はダーモスコピーでないけれどジョイントである fact8: その負担分は上げ易くない fact9: もしこのピアノ協奏曲がフーチだということはないがどでかいとするとその負担分はジョイントである fact10: 「このピアノ協奏曲はフーチであるしその上それはどでかい」ということは成り立たない fact11: その負担分はマラソンランナーだ ; $hypothesis$ = もし仮に「「このピアノ協奏曲はフーチでないがどでかい」ということは成り立つ」ということは成り立つということはないならば「その負担分はジョイントだ」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「このピアノ協奏曲はフーチでないけれどどでかい」ということは偽である; fact4 & assump1 -> int1: このピアノ協奏曲は上げ易い; int1 & fact7 -> int2: その負担分はダーモスコピーでないがしかしジョイントだ; int2 -> int3: 「その負担分はジョイントである」ということは正しい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこのピアノ協奏曲はフーチでない一方でどでかいとすれば上げ易い
事実2: もしも「このピアノ協奏曲はダーモスコピーでないけどそれはジョイントである」ということは成り立つということはないならばその負担分はどでかい
事実3: 「「このピアノ協奏曲は上げ易いということはないがしかしジョイントだ」ということは確かである」ということは間違っている
事実4: 「このピアノ協奏曲はフーチでないがどでかい」ということは誤っているとしたらそれは上げ易い
事実5: もしその負担分がフーチであるとするとこのピアノ協奏曲はダーモスコピーでないがしかしそれはどでかい
事実6: もし仮に「このピアノ協奏曲はダーモスコピーでないが上げ易い」ということは誤っているならそれは上げ易いということはない
事実7: もしこのピアノ協奏曲が上げ易いとしたらその負担分はダーモスコピーでないけれどジョイントである
事実8: その負担分は上げ易くない
事実9: もしこのピアノ協奏曲がフーチだということはないがどでかいとするとその負担分はジョイントである
事実10: 「このピアノ協奏曲はフーチであるしその上それはどでかい」ということは成り立たない
事実11: その負担分はマラソンランナーだ

仮説: もし仮に「「このピアノ協奏曲はフーチでないがどでかい」ということは成り立つ」ということは成り立つということはないならば「その負担分はジョイントだ」ということは正しい
1. 仮定1: 以下のように仮定する。「このピアノ協奏曲はフーチでないけれどどでかい」ということは偽である
2. 事実4と仮定1から、推論1: "このピアノ協奏曲は上げ易い"が導かれる
3. 推論1と事実7から、推論2: "その負担分はダーモスコピーでないがしかしジョイントだ"が導かれる
4. 推論2から、推論3: "「その負担分はジョイントである」ということは正しい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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