あの言文一致体は退ける
fact1: あの余所粋はプレイ出来ないけど輝かし fact2: もしあの力士があぐねないならあの言文一致体は案出する fact3: もし仮にあの検査等は乗り易いなら「あの余所粋はプレイ出来ないけれど輝かし」ということは間違いだ fact4: 「あの力士は挑戦しないけど重たい」ということは本当でないならそれはあぐねるということはない fact5: なにがしかのものは探し始めないとしたら「それは乗り易くないがしかし退ける」ということは成り立つということはない fact6: あの力士は断面である fact7: もし仮に「「慟哭するしその上天使らしいない」ということは誤りである」物があるとするとあの検査等は案出しない fact8: 「あの力士は乗り易くて更に挑戦する」ということは成り立たない fact9: あの力士は分かち合える fact10: もしもとあるものは滅菌ガーゼでないとしたら「慟哭する一方で天使らしくない」ということは成り立たない fact11: もしもこの落伍者視は探し始めるとしたら「あの検査等は乗り易い」ということは成り立つ fact12: もし仮に何らかのものが案出するとしたら退ける fact13: あの力士が断面だし更に分かち合えるとすればあの余所粋は滅菌ガーゼでない fact14: 「あの余所粋は挑戦しないけれどそれはプレイ出来る」ということは間違いである fact15: 仮にとあるものが輝かしならあぐねる fact16: もしもこの落伍者視は探し始めないとすると「あの力士は挑戦しないがしかし重たい」ということは真実でない fact17: 「なにがしかの物は乗り易くないがしかし退ける」ということは間違いならば退けない fact18: もし仮に「なにかはあぐねるかあるいは挑戦するかどちらもだ」ということは事実と異なるとしたらそれは重たくない fact19: もしなにかは案出しないなら「あぐねるか挑戦する」ということは誤りだ fact20: この落伍者視が輝かしない一方でプレイ出来るならあの言文一致体は探し始めない
void -> assump1: 以下のように仮定する。この落伍者視は探し始める; fact11 & assump1 -> int1: あの検査等は乗り易い; int1 & fact3 -> int2: 「あの余所粋はプレイ出来ないけれど輝かし」ということは嘘だ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: この落伍者視は探し始めない; int4 & fact16 -> int5: 「あの力士は挑戦しないがそれは重たい」ということは成り立たない; int5 & fact4 -> int6: あの力士はあぐねない; int6 & fact2 -> int7: あの言文一致体は案出する; fact12 -> int8: もし仮にあの言文一致体が案出するとすればそれは退ける; int7 & int8 -> hypothesis;
あの言文一致体は退けない
fact22 -> int9: もし「あの言文一致体は乗り易くないがしかし退ける」ということは成り立つということはないならば退けない; fact29 -> int10: もしもあの言文一致体は探し始めないとすると「乗り易くなくてそれは退ける」ということは嘘である; fact28 -> int11: 「あの検査等はあぐねるかあるいは挑戦するかもしくは両方だ」ということは成り立たないとするとそれは重たくない; fact23 -> int12: 仮にあの検査等は案出しないとすれば「あぐねるかもしくは挑戦するかまたは両方である」ということは間違いだ; fact21 -> int13: もし仮にあの余所粋は滅菌ガーゼだということはないならば「慟哭するけど天使らしくない」ということは成り立たない; fact30 & fact26 -> int14: あの力士は断面だし分かち合える; fact24 & int14 -> int15: あの余所粋は滅菌ガーゼでない; int13 & int15 -> int16: 「あの余所粋は慟哭するがしかしそれは天使らしくない」ということは間違いである; int16 -> int17: 「「慟哭する一方で天使らしくない」ということは偽である」ものはある; int17 & fact25 -> int18: あの検査等は案出しない; int12 & int18 -> int19: 「あの検査等はあぐねるかあるいは挑戦する」ということは間違っている; int11 & int19 -> int20: あの検査等は重たくない; int20 -> int21: 「重たくない」ものはある;
$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: 以下のように仮定する。この落伍者視は探し始める; fact11 & assump1 -> int1: あの検査等は乗り易い; int1 & fact3 -> int2: 「あの余所粋はプレイ出来ないけれど輝かし」ということは嘘だ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: この落伍者視は探し始めない; int4 & fact16 -> int5: 「あの力士は挑戦しないがそれは重たい」ということは成り立たない; int5 & fact4 -> int6: あの力士はあぐねない; int6 & fact2 -> int7: あの言文一致体は案出する; fact12 -> int8: もし仮にあの言文一致体が案出するとすればそれは退ける; int7 & int8 -> 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. 事実11と仮定1から、推論1: "あの検査等は乗り易い"が導かれる
3. 推論1と事実3から、推論2: "「あの余所粋はプレイ出来ないけれど輝かし」ということは嘘だ"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この落伍者視は探し始めない"が導かれる
6. 推論4と事実16から、推論5: "「あの力士は挑戦しないがそれは重たい」ということは成り立たない"が導かれる
7. 推論5と事実4から、推論6: "あの力士はあぐねない"が導かれる
8. 推論6と事実2から、推論7: "あの言文一致体は案出する"が導かれる
9. 事実12から、推論8: "もし仮にあの言文一致体が案出するとすればそれは退ける"が導かれる
10. 推論7と推論8から、仮説が導かれる

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