あの道路構造モデルは素晴らしくて行い易い
fact1: その疾病管理は衛生兵でない fact2: 仮に「なにかは辞任する一方で止む無くない」ということは成り立たないならばそれは止む無し fact3: 仮に「そのベッド数は止む無し」ということは成り立つとしたらあの電子ブックは止む無し fact4: 止む無しものは代替資産である fact5: もしあの日常行為が生き易いとしたらあの若君はだらし無い fact6: あの日常行為は止む無くてそれはページレイアウトだ fact7: もし仮にその疾病管理が衛生兵でないならそのベッド数は無水エタノールで忘れっぽい fact8: もしもあの道路構造モデルが素晴らしくないとしたらそれはだらし無くない fact9: 「あの道路構造モデルはだらし無くない」ということは正しいとしたらあの若君は生き易いけど代替資産だということはない fact10: その軍事能力は代替資産であるしそれに示唆出来る fact11: あの道路構造モデルは行い易くてまた辞任する fact12: あの電子ブックが代替資産ならばあの日常行為は生き易い fact13: もしもあの日常行為は止む無しとすれば「あの若君は生き易いがしかし代替資産でない」ということは間違いである fact14: もしも「何らかの物は忘れっぽい」ということは真実ならそれはページレイアウトである fact15: あの道路構造モデルは遜色無いということはない fact16: もし何かはページレイアウトであるとすると「それは辞任する一方で止む無くない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの道路構造モデルは素晴らしくない; fact8 & assump1 -> int1: 「あの道路構造モデルはだらし無くない」ということは真実である; int1 & fact9 -> int2: あの若君は生き易いがそれは代替資産でない; fact6 -> int3: 「あの日常行為は止む無し」ということは本当だ; fact13 & int3 -> int4: 「あの若君は生き易いがしかし代替資産でない」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの道路構造モデルは素晴らしい; fact11 -> int7: あの道路構造モデルは行い易い; int6 & int7 -> hypothesis;
「あの道路構造モデルは素晴らしいしその上行い易い」ということは事実と異なる
fact23 -> int8: もし仮にあの電子ブックが止む無しとするとそれは代替資産である; fact21 -> int9: もし「そのベッド数は辞任するが止む無くない」ということは成り立たないならそれは止む無し; fact24 -> int10: 仮にそのベッド数はページレイアウトなら「それは辞任するがしかし止む無くない」ということは偽である; fact22 -> int11: そのベッド数は忘れっぽいとすれば「ページレイアウトだ」ということは真実だ; fact18 & fact20 -> int12: そのベッド数は無水エタノールでかつ忘れっぽい; int12 -> int13: そのベッド数は忘れっぽい; int11 & int13 -> int14: そのベッド数はページレイアウトだ; int10 & int14 -> int15: 「「そのベッド数は辞任するけどそれは止む無くない」ということは確かだ」ということは間違いである; int9 & int15 -> int16: そのベッド数は止む無し; fact17 & int16 -> int17: 「あの電子ブックは止む無し」ということは確かである; int8 & int17 -> int18: あの電子ブックは代替資産である; fact25 & int18 -> int19: あの日常行為は生き易い; fact19 & int19 -> int20: あの若君はだらし無い; int20 -> int21: 「「だらし無い」ということは本当である」ものはある;
$facts$ = fact1: その疾病管理は衛生兵でない fact2: 仮に「なにかは辞任する一方で止む無くない」ということは成り立たないならばそれは止む無し fact3: 仮に「そのベッド数は止む無し」ということは成り立つとしたらあの電子ブックは止む無し fact4: 止む無しものは代替資産である fact5: もしあの日常行為が生き易いとしたらあの若君はだらし無い fact6: あの日常行為は止む無くてそれはページレイアウトだ fact7: もし仮にその疾病管理が衛生兵でないならそのベッド数は無水エタノールで忘れっぽい fact8: もしもあの道路構造モデルが素晴らしくないとしたらそれはだらし無くない fact9: 「あの道路構造モデルはだらし無くない」ということは正しいとしたらあの若君は生き易いけど代替資産だということはない fact10: その軍事能力は代替資産であるしそれに示唆出来る fact11: あの道路構造モデルは行い易くてまた辞任する fact12: あの電子ブックが代替資産ならばあの日常行為は生き易い fact13: もしもあの日常行為は止む無しとすれば「あの若君は生き易いがしかし代替資産でない」ということは間違いである fact14: もしも「何らかの物は忘れっぽい」ということは真実ならそれはページレイアウトである fact15: あの道路構造モデルは遜色無いということはない fact16: もし何かはページレイアウトであるとすると「それは辞任する一方で止む無くない」ということは成り立たない ; $hypothesis$ = あの道路構造モデルは素晴らしくて行い易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの道路構造モデルは素晴らしくない; fact8 & assump1 -> int1: 「あの道路構造モデルはだらし無くない」ということは真実である; int1 & fact9 -> int2: あの若君は生き易いがそれは代替資産でない; fact6 -> int3: 「あの日常行為は止む無し」ということは本当だ; fact13 & int3 -> int4: 「あの若君は生き易いがしかし代替資産でない」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの道路構造モデルは素晴らしい; fact11 -> int7: あの道路構造モデルは行い易い; int6 & int7 -> hypothesis; __PROVED__
事実1: その疾病管理は衛生兵でない
事実2: 仮に「なにかは辞任する一方で止む無くない」ということは成り立たないならばそれは止む無し
事実3: 仮に「そのベッド数は止む無し」ということは成り立つとしたらあの電子ブックは止む無し
事実4: 止む無しものは代替資産である
事実5: もしあの日常行為が生き易いとしたらあの若君はだらし無い
事実6: あの日常行為は止む無くてそれはページレイアウトだ
事実7: もし仮にその疾病管理が衛生兵でないならそのベッド数は無水エタノールで忘れっぽい
事実8: もしもあの道路構造モデルが素晴らしくないとしたらそれはだらし無くない
事実9: 「あの道路構造モデルはだらし無くない」ということは正しいとしたらあの若君は生き易いけど代替資産だということはない
事実10: その軍事能力は代替資産であるしそれに示唆出来る
事実11: あの道路構造モデルは行い易くてまた辞任する
事実12: あの電子ブックが代替資産ならばあの日常行為は生き易い
事実13: もしもあの日常行為は止む無しとすれば「あの若君は生き易いがしかし代替資産でない」ということは間違いである
事実14: もしも「何らかの物は忘れっぽい」ということは真実ならそれはページレイアウトである
事実15: あの道路構造モデルは遜色無いということはない
事実16: もし何かはページレイアウトであるとすると「それは辞任する一方で止む無くない」ということは成り立たない

仮説: あの道路構造モデルは素晴らしくて行い易い
1. 仮定1: 以下のように仮定する。あの道路構造モデルは素晴らしくない
2. 事実8と仮定1から、推論1: "「あの道路構造モデルはだらし無くない」ということは真実である"が導かれる
3. 推論1と事実9から、推論2: "あの若君は生き易いがそれは代替資産でない"が導かれる
4. 事実6から、推論3: "「あの日常行為は止む無し」ということは本当だ"が導かれる
5. 事実13と推論3から、推論4: "「あの若君は生き易いがしかし代替資産でない」ということは誤っている"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの道路構造モデルは素晴らしい"が導かれる
8. 事実11から、推論7: "あの道路構造モデルは行い易い"が導かれる
9. 推論6と推論7から、仮説が導かれる

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