その基盤整備は分離し易いしまた扠置く
fact1: 「その基盤整備は設置目的でない」ということは真実だ fact2: もしもその開国が諦めであるとすればあの割れはしつこい fact3: もしなんらかの物は付け上がらないなら「ディスプレーでないしおまけにしつこい」ということは事実と異なる fact4: その管財人はディスプレーである fact5: 仮に「なにがしかのものはディスプレーでない一方でしつこい」ということは嘘であるならば「それは裏漉しする」ということは成り立つ fact6: もしその基盤整備は諦めならば「座り続けないしさらに設置目的でない」ということは事実と異なる fact7: その開国は諦めであるかあるいはしつこいかもしくは両方ともである fact8: もしあの怠さがディスプレーでない一方で生成し易いならばその臓は生成し易くない fact9: 何らかの物が裏漉しするとすれば生成し易くない fact10: もし仮にあの怠さが生成し易くないとすればあの基盤整備は生成し易くない一方でディスプレーだ fact11: もしも「ある物は座り続けなくて設置目的でない」ということは成り立たないなら付け上がらない fact12: もし仮にその基盤整備は生成し易くないけどディスプレーなら扠置く fact13: もしもその基盤整備が設置目的でないとしたらそれは分離し易くて付け上がらない fact14: もしもあの怠さが生成し易いならそのＸ座標は裏漉しする fact15: もしなにがしかのものが裏漉しするということはないとしたらディスプレーでないけど生成し易い fact16: 「あの回帰曲線はディスプレーでない」ということは成り立つということはない fact17: もしも「あの怠さは扠置かない」ということは成り立つとすれば「その基盤整備は扠置かない」ということは確かだ fact18: 仮にその開国がしつこいならその割れはしつこい fact19: とあるものは印象深くないけど飲み比べる fact20: もし仮にそのＸ座標が裏漉しするならその割れは裏漉しするがしかしそれはしつこくない
void -> assump1: 以下のように仮定する。あの怠さは生成し易い; fact14 & assump1 -> int1: そのＸ座標は裏漉しする; int1 & fact20 -> int2: その割れは裏漉しするけどしつこくない; int2 -> int3: その割れはしつこくない; fact2 & fact7 & fact18 -> int4: その割れはしつこい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの怠さは生成し易くない; int6 & fact10 -> int7: その基盤整備は生成し易くないけれどディスプレーである; int7 & fact12 -> int8: その基盤整備は扠置く; fact13 & fact1 -> int9: その基盤整備は分離し易いがしかし付け上がらない; int9 -> int10: その基盤整備は分離し易い; int8 & int10 -> hypothesis;
その臓は分離し易いけれど恥ずかしくない
fact22 -> 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: 以下のように仮定する。あの怠さは生成し易い; fact14 & assump1 -> int1: そのＸ座標は裏漉しする; int1 & fact20 -> int2: その割れは裏漉しするけどしつこくない; int2 -> int3: その割れはしつこくない; fact2 & fact7 & fact18 -> int4: その割れはしつこい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの怠さは生成し易くない; int6 & fact10 -> int7: その基盤整備は生成し易くないけれどディスプレーである; int7 & fact12 -> int8: その基盤整備は扠置く; fact13 & fact1 -> int9: その基盤整備は分離し易いがしかし付け上がらない; int9 -> int10: その基盤整備は分離し易い; int8 & int10 -> 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. 事実14と仮定1から、推論1: "そのＸ座標は裏漉しする"が導かれる
3. 推論1と事実20から、推論2: "その割れは裏漉しするけどしつこくない"が導かれる
4. 推論2から、推論3: "その割れはしつこくない"が導かれる
5. 事実2と事実7と事実18から、推論4: "その割れはしつこい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの怠さは生成し易くない"が導かれる
8. 推論6と事実10から、推論7: "その基盤整備は生成し易くないけれどディスプレーである"が導かれる
9. 推論7と事実12から、推論8: "その基盤整備は扠置く"が導かれる
10. 事実13と事実1から、推論9: "その基盤整備は分離し易いがしかし付け上がらない"が導かれる
11. 推論9から、推論10: "その基盤整備は分離し易い"が導かれる
12. 推論8と推論10から、仮説が導かれる

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