この玄関先は同質性でないがしかしそれは受け易い
fact1: あの渦流浴は履修する fact2: その四性が同質性だということはないならばこの玄関先は同質性でないけど受け易い fact3: あのスポーツ選手は澄み切らない fact4: もし仮にその四性は同質性であるとすると「それはすりゃ良い一方で人形劇でない」ということは誤りだ fact5: 仮にこの玄関先が掛け難くないとすればあの四性は掛け難くない fact6: あのスポーツ選手は履修する fact7: あのスポーツ選手は受け易くない fact8: もし何らかのものが静態化しないならば判決要旨だし瓜だ fact9: もし仮に「この玄関先は同質性だ」ということは嘘でないとすると「それはすりゃ良くておまけに人形劇だ」ということは間違っている fact10: もし仮に「あのスポーツ選手は静態化するし増量する」ということは嘘であるとすれば静態化しない fact11: もしもその四性は人形劇であるとすると掛け難くない fact12: もし仮にある物は掛け難くないなら「それは同質性でないし更にそれは受け易い」ということは事実と異なる fact13: その四性は砕け易い fact14: その四性が同質性だということはないならばこの玄関先は受け易い fact15: もし仮に何らかの物が履修すれば掛け難い fact16: もしもあのスポーツ選手が履修するとしたらその四性は履修する fact17: 仮にその四性が同質性でないならあのスポーツ選手は同質性でない fact18: 「「なんらかの物は履修するがしかしそれは人形劇であるということはない」ということは確かだ」ということは確かでないとすると受け易くない fact19: あの生活リズムは受け易い fact20: 仮に「なにかはすりゃ良いがしかし人形劇でない」ということは嘘であるならば掛け難くない fact21: この玄関先は掛け難い fact22: 「あのスポーツ選手は静態化するし加えて増量する」ということは事実と異なる
void -> assump1: 以下のように仮定する。その四性は同質性である; fact4 & assump1 -> int1: 「その四性はすりゃ良いけれど人形劇でない」ということは真実だということはない; fact20 -> int2: もしも「その四性はすりゃ良いが人形劇であるということはない」ということは間違っているとすると「それは掛け難いということはない」ということは確かだ; int1 & int2 -> int3: その四性は掛け難いということはない; fact6 & fact16 -> int4: その四性は履修する; fact15 -> int5: もしも「その四性は履修する」ということは確かだとするとそれは掛け難い; int4 & int5 -> int6: その四性は掛け難い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その四性は同質性であるということはない; int8 & fact2 -> hypothesis;
「この玄関先は同質性でないがしかし受け易い」ということは偽である
fact26 -> int9: この玄関先は掛け難いということはないとすれば「同質性でないけれど受け易い」ということは嘘である; fact24 -> int10: もしあのスポーツ選手が静態化しないならそれは判決要旨でまた瓜だ; fact23 & fact25 -> int11: あのスポーツ選手は静態化するということはない; int10 & int11 -> int12: あのスポーツ選手は判決要旨で瓜である; int12 -> int13: 「あのスポーツ選手は瓜だ」ということは事実である; int13 -> int14: 「瓜な」ものはある;
$facts$ = fact1: あの渦流浴は履修する fact2: その四性が同質性だということはないならばこの玄関先は同質性でないけど受け易い fact3: あのスポーツ選手は澄み切らない fact4: もし仮にその四性は同質性であるとすると「それはすりゃ良い一方で人形劇でない」ということは誤りだ fact5: 仮にこの玄関先が掛け難くないとすればあの四性は掛け難くない fact6: あのスポーツ選手は履修する fact7: あのスポーツ選手は受け易くない fact8: もし何らかのものが静態化しないならば判決要旨だし瓜だ fact9: もし仮に「この玄関先は同質性だ」ということは嘘でないとすると「それはすりゃ良くておまけに人形劇だ」ということは間違っている fact10: もし仮に「あのスポーツ選手は静態化するし増量する」ということは嘘であるとすれば静態化しない fact11: もしもその四性は人形劇であるとすると掛け難くない fact12: もし仮にある物は掛け難くないなら「それは同質性でないし更にそれは受け易い」ということは事実と異なる fact13: その四性は砕け易い fact14: その四性が同質性だということはないならばこの玄関先は受け易い fact15: もし仮に何らかの物が履修すれば掛け難い fact16: もしもあのスポーツ選手が履修するとしたらその四性は履修する fact17: 仮にその四性が同質性でないならあのスポーツ選手は同質性でない fact18: 「「なんらかの物は履修するがしかしそれは人形劇であるということはない」ということは確かだ」ということは確かでないとすると受け易くない fact19: あの生活リズムは受け易い fact20: 仮に「なにかはすりゃ良いがしかし人形劇でない」ということは嘘であるならば掛け難くない fact21: この玄関先は掛け難い fact22: 「あのスポーツ選手は静態化するし加えて増量する」ということは事実と異なる ; $hypothesis$ = この玄関先は同質性でないがしかしそれは受け易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その四性は同質性である; fact4 & assump1 -> int1: 「その四性はすりゃ良いけれど人形劇でない」ということは真実だということはない; fact20 -> int2: もしも「その四性はすりゃ良いが人形劇であるということはない」ということは間違っているとすると「それは掛け難いということはない」ということは確かだ; int1 & int2 -> int3: その四性は掛け難いということはない; fact6 & fact16 -> int4: その四性は履修する; fact15 -> int5: もしも「その四性は履修する」ということは確かだとするとそれは掛け難い; int4 & int5 -> int6: その四性は掛け難い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その四性は同質性であるということはない; int8 & fact2 -> hypothesis; __PROVED__
事実1: あの渦流浴は履修する
事実2: その四性が同質性だということはないならばこの玄関先は同質性でないけど受け易い
事実3: あのスポーツ選手は澄み切らない
事実4: もし仮にその四性は同質性であるとすると「それはすりゃ良い一方で人形劇でない」ということは誤りだ
事実5: 仮にこの玄関先が掛け難くないとすればあの四性は掛け難くない
事実6: あのスポーツ選手は履修する
事実7: あのスポーツ選手は受け易くない
事実8: もし何らかのものが静態化しないならば判決要旨だし瓜だ
事実9: もし仮に「この玄関先は同質性だ」ということは嘘でないとすると「それはすりゃ良くておまけに人形劇だ」ということは間違っている
事実10: もし仮に「あのスポーツ選手は静態化するし増量する」ということは嘘であるとすれば静態化しない
事実11: もしもその四性は人形劇であるとすると掛け難くない
事実12: もし仮にある物は掛け難くないなら「それは同質性でないし更にそれは受け易い」ということは事実と異なる
事実13: その四性は砕け易い
事実14: その四性が同質性だということはないならばこの玄関先は受け易い
事実15: もし仮に何らかの物が履修すれば掛け難い
事実16: もしもあのスポーツ選手が履修するとしたらその四性は履修する
事実17: 仮にその四性が同質性でないならあのスポーツ選手は同質性でない
事実18: 「「なんらかの物は履修するがしかしそれは人形劇であるということはない」ということは確かだ」ということは確かでないとすると受け易くない
事実19: あの生活リズムは受け易い
事実20: 仮に「なにかはすりゃ良いがしかし人形劇でない」ということは嘘であるならば掛け難くない
事実21: この玄関先は掛け難い
事実22: 「あのスポーツ選手は静態化するし加えて増量する」ということは事実と異なる

仮説: この玄関先は同質性でないがしかしそれは受け易い
1. 仮定1: 以下のように仮定する。その四性は同質性である
2. 事実4と仮定1から、推論1: "「その四性はすりゃ良いけれど人形劇でない」ということは真実だということはない"が導かれる
3. 事実20から、推論2: "もしも「その四性はすりゃ良いが人形劇であるということはない」ということは間違っているとすると「それは掛け難いということはない」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "その四性は掛け難いということはない"が導かれる
5. 事実6と事実16から、推論4: "その四性は履修する"が導かれる
6. 事実15から、推論5: "もしも「その四性は履修する」ということは確かだとするとそれは掛け難い"が導かれる
7. 推論4と推論5から、推論6: "その四性は掛け難い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その四性は同質性であるということはない"が導かれる
10. 推論8と事実2から、仮説が導かれる

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