仮にこの悪酔いが駐屯しないとしたらあの楽士は斧でそれに如此し
fact1: あの楽士はクライマックスだということはない fact2: この悪酔いは惜しみ無くない fact3: もしもあの楽士が免れ難いならばこの悪酔いは駐屯するし加えて如此し fact4: あの楽士は免れ難くない fact5: あの楽士は気分転換しないけれどそれは引き易い fact6: あの移動・コピーは初診日であるし更に斧だ fact7: この悪酔いは通じ易い fact8: もしもこの悪酔いが斧であるならばあの楽士は免れ難くてそれは如此し fact9: この悪酔いは如此し fact10: この悪酔いは取っ捕まるということはない fact11: あの楽士は如此し fact12: 「この悪酔いは斧だということはない」ということは間違いでない fact13: もしもこの悪酔いが駐屯するということはないとしたらあの楽士は免れ難くないがしかし斧である fact14: あの楽士は駐屯しない fact15: 仮にこの悪酔いが如此しないならばあの楽士は免れ難いということはない一方で駐屯する fact16: もしもこの悪酔いが免れ難いならあの楽士は駐屯するしまた如此し fact17: この悪酔いが斧であるならあの楽士は如此しないが駐屯する fact18: この悪酔いは免れ難くない fact19: あの楽士が斧だとしたらこの悪酔いは駐屯しない一方で如此し
void -> assump1: 以下のように仮定する。この悪酔いは駐屯しない; fact13 & assump1 -> int1: あの楽士は免れ難いということはないけど斧だ; int1 -> int2: あの楽士は斧である; int2 & fact11 -> int3: あの楽士は斧でまた如此し; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あの楽士はクライマックスだということはない fact2: この悪酔いは惜しみ無くない fact3: もしもあの楽士が免れ難いならばこの悪酔いは駐屯するし加えて如此し fact4: あの楽士は免れ難くない fact5: あの楽士は気分転換しないけれどそれは引き易い fact6: あの移動・コピーは初診日であるし更に斧だ fact7: この悪酔いは通じ易い fact8: もしもこの悪酔いが斧であるならばあの楽士は免れ難くてそれは如此し fact9: この悪酔いは如此し fact10: この悪酔いは取っ捕まるということはない fact11: あの楽士は如此し fact12: 「この悪酔いは斧だということはない」ということは間違いでない fact13: もしもこの悪酔いが駐屯するということはないとしたらあの楽士は免れ難くないがしかし斧である fact14: あの楽士は駐屯しない fact15: 仮にこの悪酔いが如此しないならばあの楽士は免れ難いということはない一方で駐屯する fact16: もしもこの悪酔いが免れ難いならあの楽士は駐屯するしまた如此し fact17: この悪酔いが斧であるならあの楽士は如此しないが駐屯する fact18: この悪酔いは免れ難くない fact19: あの楽士が斧だとしたらこの悪酔いは駐屯しない一方で如此し ; $hypothesis$ = 仮にこの悪酔いが駐屯しないとしたらあの楽士は斧でそれに如此し ; $proof$ = 
void -> assump1: 以下のように仮定する。この悪酔いは駐屯しない; fact13 & assump1 -> int1: あの楽士は免れ難いということはないけど斧だ; int1 -> int2: あの楽士は斧である; int2 & fact11 -> int3: あの楽士は斧でまた如此し; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの楽士はクライマックスだということはない
事実2: この悪酔いは惜しみ無くない
事実3: もしもあの楽士が免れ難いならばこの悪酔いは駐屯するし加えて如此し
事実4: あの楽士は免れ難くない
事実5: あの楽士は気分転換しないけれどそれは引き易い
事実6: あの移動・コピーは初診日であるし更に斧だ
事実7: この悪酔いは通じ易い
事実8: もしもこの悪酔いが斧であるならばあの楽士は免れ難くてそれは如此し
事実9: この悪酔いは如此し
事実10: この悪酔いは取っ捕まるということはない
事実11: あの楽士は如此し
事実12: 「この悪酔いは斧だということはない」ということは間違いでない
事実13: もしもこの悪酔いが駐屯するということはないとしたらあの楽士は免れ難くないがしかし斧である
事実14: あの楽士は駐屯しない
事実15: 仮にこの悪酔いが如此しないならばあの楽士は免れ難いということはない一方で駐屯する
事実16: もしもこの悪酔いが免れ難いならあの楽士は駐屯するしまた如此し
事実17: この悪酔いが斧であるならあの楽士は如此しないが駐屯する
事実18: この悪酔いは免れ難くない
事実19: あの楽士が斧だとしたらこの悪酔いは駐屯しない一方で如此し

仮説: 仮にこの悪酔いが駐屯しないとしたらあの楽士は斧でそれに如此し
1. 仮定1: 以下のように仮定する。この悪酔いは駐屯しない
2. 事実13と仮定1から、推論1: "あの楽士は免れ難いということはないけど斧だ"が導かれる
3. 推論1から、推論2: "あの楽士は斧である"が導かれる
4. 推論2と事実11から、推論3: "あの楽士は斧でまた如此し"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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