あの合鍵は工夫である
fact1: この我慢は肥大化する fact2: 仮に「確言するし更に食べ易い」ものがあるならあの合鍵は工夫でない fact3: あのシーン内は図式化しないしかつ現われ難くない fact4: 何らかの物が使い分けないなら確言する fact5: 現われ難いものは図式化するということはないがしかし炎上する fact6: もし仮にとあるものが確言しないが埋め戻せば食べ易い fact7: 食べ易い物は図式化する fact8: もし仮にこの我慢が図式化するということはないが炎上するならあの合鍵は使い分けない fact9: もしもあの比較表は図式化しないとすると「それは確言しないか使い分けないか両方である」ということは成り立たない fact10: もし「このセンター長は農民家族であるかまたは肥大化するかまたは両方である」ということは事実と異なるならその公権は埋め戻さない fact11: あの合鍵は農民家族でない fact12: あの機能的変化は埋め戻す fact13: 仮に食べ易いものが埋め戻さないとしたらそれは工夫である fact14: その公権は埋め戻す fact15: この我慢は埋め戻すということはないとしたら「その公権は確言するかあるいは使い分けるかまたはどちらもだ」ということは成り立たない fact16: もし「あの比較表は確言しないかもしくはそれは使い分けないかまたは両方だ」ということは成り立たないならこの我慢は確言する fact17: 「あの比較表は使い分けないかまたはそれは図式化しないかまたはどちらもだ」ということは成り立たないとすればあのシーン内は使い分ける fact18: あのシーン内が図式化しないしまたそれが現われ難いということはないとするとあの比較表は図式化しない fact19: 仮にこの我慢は食べ易くないならば「このセンター長は農民家族であるかあるいは肥大化する」ということは成り立たない
void -> assump1: 以下のように仮定する。この我慢は食べ易くない; fact19 & assump1 -> int1: 「このセンター長は農民家族であるかもしくはそれは肥大化するかもしくは両方ともである」ということは誤りである; int1 & fact10 -> int2: その公権は埋め戻さない; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: この我慢は食べ易い; fact18 & fact3 -> int5: あの比較表は図式化しない; int5 & fact9 -> int6: 「あの比較表は確言するということはないかもしくは使い分けないかどちらもだ」ということは嘘である; int6 & fact16 -> int7: この我慢は確言する; int4 & int7 -> int8: この我慢は確言するし加えて食べ易い; int8 -> int9: あるものが確言するしその上食べ易い; int9 & fact2 -> hypothesis;
この動的障害は図式化する
fact20 -> int10: もしこの動的障害が食べ易いなら図式化する; fact21 -> int11: もしもこの動的障害は確言するということはないけど埋め戻すとするとそれは食べ易い;
$facts$ = fact1: この我慢は肥大化する fact2: 仮に「確言するし更に食べ易い」ものがあるならあの合鍵は工夫でない fact3: あのシーン内は図式化しないしかつ現われ難くない fact4: 何らかの物が使い分けないなら確言する fact5: 現われ難いものは図式化するということはないがしかし炎上する fact6: もし仮にとあるものが確言しないが埋め戻せば食べ易い fact7: 食べ易い物は図式化する fact8: もし仮にこの我慢が図式化するということはないが炎上するならあの合鍵は使い分けない fact9: もしもあの比較表は図式化しないとすると「それは確言しないか使い分けないか両方である」ということは成り立たない fact10: もし「このセンター長は農民家族であるかまたは肥大化するかまたは両方である」ということは事実と異なるならその公権は埋め戻さない fact11: あの合鍵は農民家族でない fact12: あの機能的変化は埋め戻す fact13: 仮に食べ易いものが埋め戻さないとしたらそれは工夫である fact14: その公権は埋め戻す fact15: この我慢は埋め戻すということはないとしたら「その公権は確言するかあるいは使い分けるかまたはどちらもだ」ということは成り立たない fact16: もし「あの比較表は確言しないかもしくはそれは使い分けないかまたは両方だ」ということは成り立たないならこの我慢は確言する fact17: 「あの比較表は使い分けないかまたはそれは図式化しないかまたはどちらもだ」ということは成り立たないとすればあのシーン内は使い分ける fact18: あのシーン内が図式化しないしまたそれが現われ難いということはないとするとあの比較表は図式化しない fact19: 仮にこの我慢は食べ易くないならば「このセンター長は農民家族であるかあるいは肥大化する」ということは成り立たない ; $hypothesis$ = あの合鍵は工夫である ; $proof$ = 
void -> assump1: 以下のように仮定する。この我慢は食べ易くない; fact19 & assump1 -> int1: 「このセンター長は農民家族であるかもしくはそれは肥大化するかもしくは両方ともである」ということは誤りである; int1 & fact10 -> int2: その公権は埋め戻さない; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: この我慢は食べ易い; fact18 & fact3 -> int5: あの比較表は図式化しない; int5 & fact9 -> int6: 「あの比較表は確言するということはないかもしくは使い分けないかどちらもだ」ということは嘘である; int6 & fact16 -> int7: この我慢は確言する; int4 & int7 -> int8: この我慢は確言するし加えて食べ易い; int8 -> int9: あるものが確言するしその上食べ易い; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: この我慢は肥大化する
事実2: 仮に「確言するし更に食べ易い」ものがあるならあの合鍵は工夫でない
事実3: あのシーン内は図式化しないしかつ現われ難くない
事実4: 何らかの物が使い分けないなら確言する
事実5: 現われ難いものは図式化するということはないがしかし炎上する
事実6: もし仮にとあるものが確言しないが埋め戻せば食べ易い
事実7: 食べ易い物は図式化する
事実8: もし仮にこの我慢が図式化するということはないが炎上するならあの合鍵は使い分けない
事実9: もしもあの比較表は図式化しないとすると「それは確言しないか使い分けないか両方である」ということは成り立たない
事実10: もし「このセンター長は農民家族であるかまたは肥大化するかまたは両方である」ということは事実と異なるならその公権は埋め戻さない
事実11: あの合鍵は農民家族でない
事実12: あの機能的変化は埋め戻す
事実13: 仮に食べ易いものが埋め戻さないとしたらそれは工夫である
事実14: その公権は埋め戻す
事実15: この我慢は埋め戻すということはないとしたら「その公権は確言するかあるいは使い分けるかまたはどちらもだ」ということは成り立たない
事実16: もし「あの比較表は確言しないかもしくはそれは使い分けないかまたは両方だ」ということは成り立たないならこの我慢は確言する
事実17: 「あの比較表は使い分けないかまたはそれは図式化しないかまたはどちらもだ」ということは成り立たないとすればあのシーン内は使い分ける
事実18: あのシーン内が図式化しないしまたそれが現われ難いということはないとするとあの比較表は図式化しない
事実19: 仮にこの我慢は食べ易くないならば「このセンター長は農民家族であるかあるいは肥大化する」ということは成り立たない

仮説: あの合鍵は工夫である
1. 仮定1: 以下のように仮定する。この我慢は食べ易くない
2. 事実19と仮定1から、推論1: "「このセンター長は農民家族であるかもしくはそれは肥大化するかもしくは両方ともである」ということは誤りである"が導かれる
3. 推論1と事実10から、推論2: "その公権は埋め戻さない"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この我慢は食べ易い"が導かれる
6. 事実18と事実3から、推論5: "あの比較表は図式化しない"が導かれる
7. 推論5と事実9から、推論6: "「あの比較表は確言するということはないかもしくは使い分けないかどちらもだ」ということは嘘である"が導かれる
8. 推論6と事実16から、推論7: "この我慢は確言する"が導かれる
9. 推論4と推論7から、推論8: "この我慢は確言するし加えて食べ易い"が導かれる
10. 推論8から、推論9: "あるものが確言するしその上食べ易い"が導かれる
11. 推論9と事実2から、仮説が否定される

よって、仮説が否定されました。