そのプロセスアプローチは著しかないがしかし最短年数である
fact1: もしもそのゴム鞠が疲れ易いとすればあの御年寄り達は無理無くない fact2: 無理無いものが疲れ易いということはないならばそれは一大国でない fact3: そのプロセスアプローチは最短年数である fact4: もしそのプロセスアプローチは一大国なら「そのゴム鞠は一大国である一方で疲れ易くない」ということは嘘である fact5: 何かは其れらしくない一方で堅持するとするとスクラップ・アンド・ビルドだということはない fact6: 仮にそのプロセスアプローチは一大国だとしたら「「そのゴム鞠は一大国だしその上著しい」ということは確かだ」ということは嘘だ fact7: 「だだっ広い」物はある fact8: そのプロセスアプローチは未経験でない fact9: もしそのゴム鞠は一大国であるということはないとすれば「そのプロセスアプローチは著しかないけど最短年数である」ということは偽である fact10: もし仮にあの特別高圧は一貫だとしたら「それは付着し易くないし加えて攻撃し易くない」ということは確かでない fact11: もしも「そのゴム鞠は一大国だ一方で疲れ易くない」ということは成り立つということはないとするとあの御年寄り達は無理無いということはない fact12: 「あの特別高圧は一貫だ」ということは真実だ fact13: もしあの御年寄り達がスクラップ・アンド・ビルドでないとすればそのゴム鞠は無理無いけどそれは疲れ易くない fact14: もし仮にそのプロセスアプローチが著しいなら一大国である fact15: もし「なんらかのものは付着し易くないし更にそれは攻撃し易くない」ということは成り立たないならばそれは付着し易い fact16: もしなにかは付着し易いならあの御年寄り達は其れらしくない fact17: あの御年寄り達は無理無い
void -> assump1: 以下のように仮定する。「そのプロセスアプローチは著しい」ということは正しい; fact14 & assump1 -> int1: そのプロセスアプローチは一大国だ; int1 & fact4 -> int2: 「そのゴム鞠が一大国だけどそれは疲れ易くない」ということは誤っている; int2 & fact11 -> int3: 「あの御年寄り達は無理無いということはない」ということは正しい; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのプロセスアプローチは著しかない; int5 & fact3 -> hypothesis;
「そのプロセスアプローチは著しかないけれど最短年数である」ということは事実と異なる
fact21 -> int6: そのゴム鞠は無理無い一方で疲れ易くないとすればそれは一大国でない; fact22 -> int7: もしあの御年寄り達が其れらしくない一方で堅持するとするとスクラップ・アンド・ビルドであるということはない; fact18 -> int8: もし仮に「あの特別高圧は付着し易いということはないしかつそれは攻撃し易くない」ということは成り立つということはないとしたら付着し易い; fact20 & fact25 -> int9: 「あの特別高圧は付着し易くないしそれに攻撃し易いということはない」ということは間違っている; int8 & int9 -> int10: あの特別高圧は付着し易い; int10 -> int11: 「付着し易い」物はある; int11 & fact19 -> int12: あの御年寄り達は其れらしくない;
$facts$ = fact1: もしもそのゴム鞠が疲れ易いとすればあの御年寄り達は無理無くない fact2: 無理無いものが疲れ易いということはないならばそれは一大国でない fact3: そのプロセスアプローチは最短年数である fact4: もしそのプロセスアプローチは一大国なら「そのゴム鞠は一大国である一方で疲れ易くない」ということは嘘である fact5: 何かは其れらしくない一方で堅持するとするとスクラップ・アンド・ビルドだということはない fact6: 仮にそのプロセスアプローチは一大国だとしたら「「そのゴム鞠は一大国だしその上著しい」ということは確かだ」ということは嘘だ fact7: 「だだっ広い」物はある fact8: そのプロセスアプローチは未経験でない fact9: もしそのゴム鞠は一大国であるということはないとすれば「そのプロセスアプローチは著しかないけど最短年数である」ということは偽である fact10: もし仮にあの特別高圧は一貫だとしたら「それは付着し易くないし加えて攻撃し易くない」ということは確かでない fact11: もしも「そのゴム鞠は一大国だ一方で疲れ易くない」ということは成り立つということはないとするとあの御年寄り達は無理無いということはない fact12: 「あの特別高圧は一貫だ」ということは真実だ fact13: もしあの御年寄り達がスクラップ・アンド・ビルドでないとすればそのゴム鞠は無理無いけどそれは疲れ易くない fact14: もし仮にそのプロセスアプローチが著しいなら一大国である fact15: もし「なんらかのものは付着し易くないし更にそれは攻撃し易くない」ということは成り立たないならばそれは付着し易い fact16: もしなにかは付着し易いならあの御年寄り達は其れらしくない fact17: あの御年寄り達は無理無い ; $hypothesis$ = そのプロセスアプローチは著しかないがしかし最短年数である ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのプロセスアプローチは著しい」ということは正しい; fact14 & assump1 -> int1: そのプロセスアプローチは一大国だ; int1 & fact4 -> int2: 「そのゴム鞠が一大国だけどそれは疲れ易くない」ということは誤っている; int2 & fact11 -> int3: 「あの御年寄り達は無理無いということはない」ということは正しい; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのプロセスアプローチは著しかない; int5 & fact3 -> hypothesis; __PROVED__
事実1: もしもそのゴム鞠が疲れ易いとすればあの御年寄り達は無理無くない
事実2: 無理無いものが疲れ易いということはないならばそれは一大国でない
事実3: そのプロセスアプローチは最短年数である
事実4: もしそのプロセスアプローチは一大国なら「そのゴム鞠は一大国である一方で疲れ易くない」ということは嘘である
事実5: 何かは其れらしくない一方で堅持するとするとスクラップ・アンド・ビルドだということはない
事実6: 仮にそのプロセスアプローチは一大国だとしたら「「そのゴム鞠は一大国だしその上著しい」ということは確かだ」ということは嘘だ
事実7: 「だだっ広い」物はある
事実8: そのプロセスアプローチは未経験でない
事実9: もしそのゴム鞠は一大国であるということはないとすれば「そのプロセスアプローチは著しかないけど最短年数である」ということは偽である
事実10: もし仮にあの特別高圧は一貫だとしたら「それは付着し易くないし加えて攻撃し易くない」ということは確かでない
事実11: もしも「そのゴム鞠は一大国だ一方で疲れ易くない」ということは成り立つということはないとするとあの御年寄り達は無理無いということはない
事実12: 「あの特別高圧は一貫だ」ということは真実だ
事実13: もしあの御年寄り達がスクラップ・アンド・ビルドでないとすればそのゴム鞠は無理無いけどそれは疲れ易くない
事実14: もし仮にそのプロセスアプローチが著しいなら一大国である
事実15: もし「なんらかのものは付着し易くないし更にそれは攻撃し易くない」ということは成り立たないならばそれは付着し易い
事実16: もしなにかは付着し易いならあの御年寄り達は其れらしくない
事実17: あの御年寄り達は無理無い

仮説: そのプロセスアプローチは著しかないがしかし最短年数である
1. 仮定1: 以下のように仮定する。「そのプロセスアプローチは著しい」ということは正しい
2. 事実14と仮定1から、推論1: "そのプロセスアプローチは一大国だ"が導かれる
3. 推論1と事実4から、推論2: "「そのゴム鞠が一大国だけどそれは疲れ易くない」ということは誤っている"が導かれる
4. 推論2と事実11から、推論3: "「あの御年寄り達は無理無いということはない」ということは正しい"が導かれる
5. 推論3と事実17から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのプロセスアプローチは著しかない"が導かれる
7. 推論5と事実3から、仮説が導かれる

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