あの満潮時は疑り深くない
fact1: 「出来始めない」ものはある fact2: もし仮にその日常行為はかかずらうし汚れ切るならそれは厳つかない fact3: 「この長編化は浸けないし打席でない」ということは成り立たないとすればあのコミックは打席だ fact4: その日常行為は汚れ切る fact5: 仮に「出来始めない」物はあるなら「「この長編化は救命するしおまけにそれは出来始める」ということは嘘だ」ということは確かだ fact6: もしその半日休日は材源でないとしたら「「あの満潮時は材源であるかまたは打席でない」ということは成り立つ」ということは偽である fact7: 仮にあの租税法律主義が材源ならその日常行為は厳つい fact8: もしも「あの満潮時は材源であるかもしくは打席でないか両方だ」ということは成り立つということはないとすれば疑り深くない fact9: もしもなんらかのものが汚れ切らないしそれがかかずらわないとすればそれは疑り深い fact10: もしもなにがしかのものは民主化しないとすると「浸けないしおまけにそれは打席でない」ということは成り立つということはない fact11: もし「あの租税法律主義は重苦しいし加えてそれは厳つい」ということは嘘であるとするとその半日休日は材源だということはない fact12: もしその日常行為は厳つかないとすると「あの租税法律主義は重苦しいしさらにそれは厳つい」ということは誤りである fact13: もし仮にこのコミックが打席であるとしたらその半日休日は重苦しい fact14: あの要り胡麻は汚れ切る fact15: その日常行為はかかずらう fact16: なにがしかの物が出来始めないとすると民主化するということはない fact17: 重苦しい物があるならあの租税法律主義は重苦しいかもしくは材源であるかもしくは両方である fact18: もし「この長編化は救命するしそれは出来始める」ということは成り立つということはないとしたら出来始めない
fact15 & fact4 -> int1: その日常行為はかかずらうし汚れ切る; int1 & fact2 -> int2: その日常行為は厳つかない; int2 & fact12 -> int3: 「あの租税法律主義は重苦しいし加えて厳つい」ということは成り立たない; int3 & fact11 -> int4: 「その半日休日は材源でない」ということは間違いであるということはない; int4 & fact6 -> int5: 「あの満潮時は材源であるかあるいは打席でないかまたは両方だ」ということは誤っている; int5 & fact8 -> hypothesis;
あの満潮時は疑り深い
fact19 -> int6: 仮にあの満潮時が汚れ切らないしそれがかかずらうということはないならそれは疑り深い; fact26 -> int7: 仮にこの長編化は民主化しないならば「それは浸けないし打席でない」ということは成り立たない; fact25 -> int8: 仮にこの長編化が出来始めないならば民主化しない; fact27 & fact21 -> int9: 「「この長編化は救命するしそれに出来始める」ということは成り立つ」ということは誤っている; fact28 & int9 -> int10: この長編化は出来始めない; int8 & int10 -> int11: この長編化は民主化しない; int7 & int11 -> int12: 「この長編化は浸けなくておまけにそれは打席でない」ということは成り立たない; fact20 & int12 -> int13: このコミックは打席である; fact23 & int13 -> int14: その半日休日は重苦しい; int14 -> int15: 何らかの物は重苦しい; int15 & fact22 -> int16: あの租税法律主義は重苦しいかもしくはそれは材源である;
$facts$ = fact1: 「出来始めない」ものはある fact2: もし仮にその日常行為はかかずらうし汚れ切るならそれは厳つかない fact3: 「この長編化は浸けないし打席でない」ということは成り立たないとすればあのコミックは打席だ fact4: その日常行為は汚れ切る fact5: 仮に「出来始めない」物はあるなら「「この長編化は救命するしおまけにそれは出来始める」ということは嘘だ」ということは確かだ fact6: もしその半日休日は材源でないとしたら「「あの満潮時は材源であるかまたは打席でない」ということは成り立つ」ということは偽である fact7: 仮にあの租税法律主義が材源ならその日常行為は厳つい fact8: もしも「あの満潮時は材源であるかもしくは打席でないか両方だ」ということは成り立つということはないとすれば疑り深くない fact9: もしもなんらかのものが汚れ切らないしそれがかかずらわないとすればそれは疑り深い fact10: もしもなにがしかのものは民主化しないとすると「浸けないしおまけにそれは打席でない」ということは成り立つということはない fact11: もし「あの租税法律主義は重苦しいし加えてそれは厳つい」ということは嘘であるとするとその半日休日は材源だということはない fact12: もしその日常行為は厳つかないとすると「あの租税法律主義は重苦しいしさらにそれは厳つい」ということは誤りである fact13: もし仮にこのコミックが打席であるとしたらその半日休日は重苦しい fact14: あの要り胡麻は汚れ切る fact15: その日常行為はかかずらう fact16: なにがしかの物が出来始めないとすると民主化するということはない fact17: 重苦しい物があるならあの租税法律主義は重苦しいかもしくは材源であるかもしくは両方である fact18: もし「この長編化は救命するしそれは出来始める」ということは成り立つということはないとしたら出来始めない ; $hypothesis$ = あの満潮時は疑り深くない ; $proof$ = 
fact15 & fact4 -> int1: その日常行為はかかずらうし汚れ切る; int1 & fact2 -> int2: その日常行為は厳つかない; int2 & fact12 -> int3: 「あの租税法律主義は重苦しいし加えて厳つい」ということは成り立たない; int3 & fact11 -> int4: 「その半日休日は材源でない」ということは間違いであるということはない; int4 & fact6 -> int5: 「あの満潮時は材源であるかあるいは打席でないかまたは両方だ」ということは誤っている; int5 & fact8 -> hypothesis; __PROVED__
事実1: 「出来始めない」ものはある
事実2: もし仮にその日常行為はかかずらうし汚れ切るならそれは厳つかない
事実3: 「この長編化は浸けないし打席でない」ということは成り立たないとすればあのコミックは打席だ
事実4: その日常行為は汚れ切る
事実5: 仮に「出来始めない」物はあるなら「「この長編化は救命するしおまけにそれは出来始める」ということは嘘だ」ということは確かだ
事実6: もしその半日休日は材源でないとしたら「「あの満潮時は材源であるかまたは打席でない」ということは成り立つ」ということは偽である
事実7: 仮にあの租税法律主義が材源ならその日常行為は厳つい
事実8: もしも「あの満潮時は材源であるかもしくは打席でないか両方だ」ということは成り立つということはないとすれば疑り深くない
事実9: もしもなんらかのものが汚れ切らないしそれがかかずらわないとすればそれは疑り深い
事実10: もしもなにがしかのものは民主化しないとすると「浸けないしおまけにそれは打席でない」ということは成り立つということはない
事実11: もし「あの租税法律主義は重苦しいし加えてそれは厳つい」ということは嘘であるとするとその半日休日は材源だということはない
事実12: もしその日常行為は厳つかないとすると「あの租税法律主義は重苦しいしさらにそれは厳つい」ということは誤りである
事実13: もし仮にこのコミックが打席であるとしたらその半日休日は重苦しい
事実14: あの要り胡麻は汚れ切る
事実15: その日常行為はかかずらう
事実16: なにがしかの物が出来始めないとすると民主化するということはない
事実17: 重苦しい物があるならあの租税法律主義は重苦しいかもしくは材源であるかもしくは両方である
事実18: もし「この長編化は救命するしそれは出来始める」ということは成り立つということはないとしたら出来始めない

仮説: あの満潮時は疑り深くない
1. 事実15と事実4から、推論1: "その日常行為はかかずらうし汚れ切る"が導かれる
2. 推論1と事実2から、推論2: "その日常行為は厳つかない"が導かれる
3. 推論2と事実12から、推論3: "「あの租税法律主義は重苦しいし加えて厳つい」ということは成り立たない"が導かれる
4. 推論3と事実11から、推論4: "「その半日休日は材源でない」ということは間違いであるということはない"が導かれる
5. 推論4と事実6から、推論5: "「あの満潮時は材源であるかあるいは打席でないかまたは両方だ」ということは誤っている"が導かれる
6. 推論5と事実8から、仮説が導かれる

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