そのサルファは遅れ易いしさらにペディメントだ
fact1: 仮にその和平交渉はペディメントであるとするとそれは急停止する fact2: もし仮にその和平交渉が女っぽくないならそのサルファはペディメントであるしおまけに女っぽい fact3: その名義変更は第一次石油危機だ fact4: もし「あるものは目まぐるしかないけど持ち易い」ということは嘘であるならば目まぐるしい fact5: もし仮になんらかの物は無声化し易くないとすれば「それが目まぐるしかないしさらに持ち易い」ということは成り立つということはない fact6: 仮に「その和平交渉はペディメントでない」ということは嘘でないとするとそのサルファは遅れ易くてペディメントである fact7: 仮にその和平交渉がペディメントでないとするとそのサルファはペディメントだ fact8: もしその和平交渉は女っぽいならば「そのサルファは急停止する一方でそれは第一次石油危機でない」ということは偽だ fact9: その和平交渉が女っぽいならばあの名義変更は第一次石油危機でない fact10: 「このモメントは意思決定概念だ一方で微増しない」ということは本当であるとするとそれは深くない fact11: 「なんらかのものは急停止する一方で第一次石油危機でない」ということは偽だとすれば急停止するということはない fact12: もしもその和平交渉が急停止するかあるいは女っぽいとしたらその名義変更は第一次石油危機であるということはない fact13: 仮にこの九十九ＭＴＣＯが第一次石油危機だとすればそれは代替わりである fact14: なんらかの物は目まぐるしいならば「「それは構造化するししかも通り難くない」ということは本当である」ということは成り立つということはない fact15: そのサルファはペディメントだ fact16: 「「なんらかのものは構造化するが通り難くない」ということは事実だ」ということは事実と異なるとしたらそれは構造化しない fact17: もしこのモメントが深くないとすればそれは無声化し易くないが会する fact18: もしもとある物は急停止しないならば「それは遅れ易いししかもペディメントだ」ということは成り立たない fact19: もしその名義変更が女っぽいとすればその和平交渉は女っぽい fact20: もしこのモメントが構造化しないとするとその名義変更は女っぽくてさらにマフィアである
void -> assump1: 以下のように仮定する。その和平交渉はペディメントである; fact1 & assump1 -> int1: その和平交渉は急停止する; int1 -> int2: その和平交渉は急停止するか女っぽい; int2 & fact12 -> int3: その名義変更は第一次石油危機でない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その和平交渉はペディメントでない; int5 & fact6 -> hypothesis;
「そのサルファは遅れ易くてペディメントだ」ということは誤りである
fact29 -> int6: 「そのサルファは急停止しない」ということは事実だとしたら「それは遅れ易いしかつそれはペディメントである」ということは嘘である; fact24 -> int7: もしも「そのサルファは急停止するけど第一次石油危機でない」ということは偽だとすれば急停止しない; fact21 -> int8: 「このモメントは構造化するがそれは通り難くない」ということは成り立たないとしたら構造化しない; fact25 -> int9: もしもこのモメントは目まぐるしいとすれば「構造化するけれど通り難くない」ということは間違っている; fact26 -> int10: もしも「このモメントは目まぐるしかない一方でそれは持ち易い」ということは正しくないとしたらそれは目まぐるしい; fact23 -> int11: 仮にこのモメントは無声化し易くないなら「目まぐるしかないけど持ち易い」ということは誤りだ;
$facts$ = fact1: 仮にその和平交渉はペディメントであるとするとそれは急停止する fact2: もし仮にその和平交渉が女っぽくないならそのサルファはペディメントであるしおまけに女っぽい fact3: その名義変更は第一次石油危機だ fact4: もし「あるものは目まぐるしかないけど持ち易い」ということは嘘であるならば目まぐるしい fact5: もし仮になんらかの物は無声化し易くないとすれば「それが目まぐるしかないしさらに持ち易い」ということは成り立つということはない fact6: 仮に「その和平交渉はペディメントでない」ということは嘘でないとするとそのサルファは遅れ易くてペディメントである fact7: 仮にその和平交渉がペディメントでないとするとそのサルファはペディメントだ fact8: もしその和平交渉は女っぽいならば「そのサルファは急停止する一方でそれは第一次石油危機でない」ということは偽だ fact9: その和平交渉が女っぽいならばあの名義変更は第一次石油危機でない fact10: 「このモメントは意思決定概念だ一方で微増しない」ということは本当であるとするとそれは深くない fact11: 「なんらかのものは急停止する一方で第一次石油危機でない」ということは偽だとすれば急停止するということはない fact12: もしもその和平交渉が急停止するかあるいは女っぽいとしたらその名義変更は第一次石油危機であるということはない fact13: 仮にこの九十九ＭＴＣＯが第一次石油危機だとすればそれは代替わりである fact14: なんらかの物は目まぐるしいならば「「それは構造化するししかも通り難くない」ということは本当である」ということは成り立つということはない fact15: そのサルファはペディメントだ fact16: 「「なんらかのものは構造化するが通り難くない」ということは事実だ」ということは事実と異なるとしたらそれは構造化しない fact17: もしこのモメントが深くないとすればそれは無声化し易くないが会する fact18: もしもとある物は急停止しないならば「それは遅れ易いししかもペディメントだ」ということは成り立たない fact19: もしその名義変更が女っぽいとすればその和平交渉は女っぽい fact20: もしこのモメントが構造化しないとするとその名義変更は女っぽくてさらにマフィアである ; $hypothesis$ = そのサルファは遅れ易いしさらにペディメントだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その和平交渉はペディメントである; fact1 & assump1 -> int1: その和平交渉は急停止する; int1 -> int2: その和平交渉は急停止するか女っぽい; int2 & fact12 -> int3: その名義変更は第一次石油危機でない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その和平交渉はペディメントでない; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその和平交渉はペディメントであるとするとそれは急停止する
事実2: もし仮にその和平交渉が女っぽくないならそのサルファはペディメントであるしおまけに女っぽい
事実3: その名義変更は第一次石油危機だ
事実4: もし「あるものは目まぐるしかないけど持ち易い」ということは嘘であるならば目まぐるしい
事実5: もし仮になんらかの物は無声化し易くないとすれば「それが目まぐるしかないしさらに持ち易い」ということは成り立つということはない
事実6: 仮に「その和平交渉はペディメントでない」ということは嘘でないとするとそのサルファは遅れ易くてペディメントである
事実7: 仮にその和平交渉がペディメントでないとするとそのサルファはペディメントだ
事実8: もしその和平交渉は女っぽいならば「そのサルファは急停止する一方でそれは第一次石油危機でない」ということは偽だ
事実9: その和平交渉が女っぽいならばあの名義変更は第一次石油危機でない
事実10: 「このモメントは意思決定概念だ一方で微増しない」ということは本当であるとするとそれは深くない
事実11: 「なんらかのものは急停止する一方で第一次石油危機でない」ということは偽だとすれば急停止するということはない
事実12: もしもその和平交渉が急停止するかあるいは女っぽいとしたらその名義変更は第一次石油危機であるということはない
事実13: 仮にこの九十九ＭＴＣＯが第一次石油危機だとすればそれは代替わりである
事実14: なんらかの物は目まぐるしいならば「「それは構造化するししかも通り難くない」ということは本当である」ということは成り立つということはない
事実15: そのサルファはペディメントだ
事実16: 「「なんらかのものは構造化するが通り難くない」ということは事実だ」ということは事実と異なるとしたらそれは構造化しない
事実17: もしこのモメントが深くないとすればそれは無声化し易くないが会する
事実18: もしもとある物は急停止しないならば「それは遅れ易いししかもペディメントだ」ということは成り立たない
事実19: もしその名義変更が女っぽいとすればその和平交渉は女っぽい
事実20: もしこのモメントが構造化しないとするとその名義変更は女っぽくてさらにマフィアである

仮説: そのサルファは遅れ易いしさらにペディメントだ
1. 仮定1: 以下のように仮定する。その和平交渉はペディメントである
2. 事実1と仮定1から、推論1: "その和平交渉は急停止する"が導かれる
3. 推論1から、推論2: "その和平交渉は急停止するか女っぽい"が導かれる
4. 推論2と事実12から、推論3: "その名義変更は第一次石油危機でない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その和平交渉はペディメントでない"が導かれる
7. 推論5と事実6から、仮説が導かれる

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