この常勤監査役は戒めない
fact1: もし「このビデオ再生部分は見物だ一方で祝詞でない」ということは誤りであるとすると「それは冷え易くない」ということは誤りである fact2: 「見物でない」物はある fact3: もしも「両岸関係であるかあるいは祝詞である」ものがあればこのビデオ再生部分は冷え易くない fact4: 仮に「祝詞である」ものがあるとしたらこのビデオ再生部分は冷え易くない fact5: もし「書き飛ばさない」物はあるなら「この歯垢はスタートボタンでないけれど見物だ」ということは誤っている fact6: このビデオ再生部分は冷え易くないとすると「この常勤監査役が呟き続けるけど晴れはましくらない」ということは事実でない fact7: もし「何かは祝詞であるしその上呟き続ける」ということは嘘ならば祝詞でない fact8: もしこの子供達全員が戒めないしさらに祝詞だということはないとしたらこの常勤監査役は戒めるということはない fact9: 冷え易い物は呟き続ける fact10: 「呟き続けるかまたは祝詞であるか両方な」ものがあるとするとこの常勤監査役は両岸関係でない fact11: 仮に「この歯垢は両岸関係である」ということは本当ならばこの子供達全員は戒めないか冷え易い fact12: もしもこのビデオ再生部分はプレゼントだとすると「それは他界する一方で所伝でない」ということは偽である fact13: もしなにがしかの物が呟き続けるということはないとしたら戒める fact14: とあるものは書き飛ばさない fact15: このビデオ再生部分は晴れがましかないなら「この子供達全員は祝詞であるし呟き続ける」ということは誤っている fact16: この常勤監査役は喧しい fact17: 「この子供達全員は祝詞でないけどそれは呟き続ける」ということは成り立たない fact18: もし仮にこの子供達全員が両岸関係でないならばあの歯垢はスタートボタンでないけれどそれは見物だ fact19: すべてのものはひもじいかそれは書き飛ばさない fact20: もし仮に「「見物である」ということは本当である」ものがあるとしたらこの歯垢はスタートボタンでない fact21: もしも「なにかは呟き続けるけど晴れがましくらない」ということは成り立たないとすればそれは戒める fact22: 仮にこの子供達全員が両岸関係でないならばこの歯垢はスタートボタンであるということはない fact23: 「書き飛ばす」ものはある fact24: もし仮に「何かは他界するけれどそれは所伝であるということはない」ということは嘘であるとすると晴れがましかない fact25: この歯垢はスタートボタンでない fact26: 何らかのものが戒めないかもしくは冷え易いとしたら「それは戒めない」ということは成り立つ
void -> assump1: 以下のように仮定する。この子供達全員は両岸関係でない; fact18 & assump1 -> int1: 「この歯垢はスタートボタンでないけど見物だ」ということは本当である; fact14 & fact5 -> int2: 「この歯垢はスタートボタンでないけど見物である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この子供達全員は両岸関係だ; int4 -> int5: この子供達全員は両岸関係であるかまたはそれは祝詞であるかどちらもである; int5 -> int6: なにかは両岸関係であるかあるいは祝詞であるかもしくは両方である; int6 & fact3 -> int7: このビデオ再生部分は冷え易くない; int7 & fact6 -> int8: 「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない; fact21 -> int9: 仮に「「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない」ということは確かだとしたら「それは戒める」ということは真実である; int8 & int9 -> hypothesis;
この常勤監査役は戒めない
fact34 -> int10: もし仮にこの子供達全員が戒めないかまたはそれは冷え易いかまたは両方ともだとしたらそれは戒めない; fact28 -> int11: この歯垢はひもじいかまたはそれは書き飛ばさないか両方ともだ; fact33 -> int12: 「この子供達全員は祝詞でおまけにそれは呟き続ける」ということは成り立たないとしたら祝詞でない; fact30 -> int13: もし「このビデオ再生部分は他界するがしかし所伝でない」ということは偽であるならそれは晴れがましかない;
$facts$ = fact1: もし「このビデオ再生部分は見物だ一方で祝詞でない」ということは誤りであるとすると「それは冷え易くない」ということは誤りである fact2: 「見物でない」物はある fact3: もしも「両岸関係であるかあるいは祝詞である」ものがあればこのビデオ再生部分は冷え易くない fact4: 仮に「祝詞である」ものがあるとしたらこのビデオ再生部分は冷え易くない fact5: もし「書き飛ばさない」物はあるなら「この歯垢はスタートボタンでないけれど見物だ」ということは誤っている fact6: このビデオ再生部分は冷え易くないとすると「この常勤監査役が呟き続けるけど晴れはましくらない」ということは事実でない fact7: もし「何かは祝詞であるしその上呟き続ける」ということは嘘ならば祝詞でない fact8: もしこの子供達全員が戒めないしさらに祝詞だということはないとしたらこの常勤監査役は戒めるということはない fact9: 冷え易い物は呟き続ける fact10: 「呟き続けるかまたは祝詞であるか両方な」ものがあるとするとこの常勤監査役は両岸関係でない fact11: 仮に「この歯垢は両岸関係である」ということは本当ならばこの子供達全員は戒めないか冷え易い fact12: もしもこのビデオ再生部分はプレゼントだとすると「それは他界する一方で所伝でない」ということは偽である fact13: もしなにがしかの物が呟き続けるということはないとしたら戒める fact14: とあるものは書き飛ばさない fact15: このビデオ再生部分は晴れがましかないなら「この子供達全員は祝詞であるし呟き続ける」ということは誤っている fact16: この常勤監査役は喧しい fact17: 「この子供達全員は祝詞でないけどそれは呟き続ける」ということは成り立たない fact18: もし仮にこの子供達全員が両岸関係でないならばあの歯垢はスタートボタンでないけれどそれは見物だ fact19: すべてのものはひもじいかそれは書き飛ばさない fact20: もし仮に「「見物である」ということは本当である」ものがあるとしたらこの歯垢はスタートボタンでない fact21: もしも「なにかは呟き続けるけど晴れがましくらない」ということは成り立たないとすればそれは戒める fact22: 仮にこの子供達全員が両岸関係でないならばこの歯垢はスタートボタンであるということはない fact23: 「書き飛ばす」ものはある fact24: もし仮に「何かは他界するけれどそれは所伝であるということはない」ということは嘘であるとすると晴れがましかない fact25: この歯垢はスタートボタンでない fact26: 何らかのものが戒めないかもしくは冷え易いとしたら「それは戒めない」ということは成り立つ ; $hypothesis$ = この常勤監査役は戒めない ; $proof$ = 
void -> assump1: 以下のように仮定する。この子供達全員は両岸関係でない; fact18 & assump1 -> int1: 「この歯垢はスタートボタンでないけど見物だ」ということは本当である; fact14 & fact5 -> int2: 「この歯垢はスタートボタンでないけど見物である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この子供達全員は両岸関係だ; int4 -> int5: この子供達全員は両岸関係であるかまたはそれは祝詞であるかどちらもである; int5 -> int6: なにかは両岸関係であるかあるいは祝詞であるかもしくは両方である; int6 & fact3 -> int7: このビデオ再生部分は冷え易くない; int7 & fact6 -> int8: 「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない; fact21 -> int9: 仮に「「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない」ということは確かだとしたら「それは戒める」ということは真実である; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし「このビデオ再生部分は見物だ一方で祝詞でない」ということは誤りであるとすると「それは冷え易くない」ということは誤りである
事実2: 「見物でない」物はある
事実3: もしも「両岸関係であるかあるいは祝詞である」ものがあればこのビデオ再生部分は冷え易くない
事実4: 仮に「祝詞である」ものがあるとしたらこのビデオ再生部分は冷え易くない
事実5: もし「書き飛ばさない」物はあるなら「この歯垢はスタートボタンでないけれど見物だ」ということは誤っている
事実6: このビデオ再生部分は冷え易くないとすると「この常勤監査役が呟き続けるけど晴れはましくらない」ということは事実でない
事実7: もし「何かは祝詞であるしその上呟き続ける」ということは嘘ならば祝詞でない
事実8: もしこの子供達全員が戒めないしさらに祝詞だということはないとしたらこの常勤監査役は戒めるということはない
事実9: 冷え易い物は呟き続ける
事実10: 「呟き続けるかまたは祝詞であるか両方な」ものがあるとするとこの常勤監査役は両岸関係でない
事実11: 仮に「この歯垢は両岸関係である」ということは本当ならばこの子供達全員は戒めないか冷え易い
事実12: もしもこのビデオ再生部分はプレゼントだとすると「それは他界する一方で所伝でない」ということは偽である
事実13: もしなにがしかの物が呟き続けるということはないとしたら戒める
事実14: とあるものは書き飛ばさない
事実15: このビデオ再生部分は晴れがましかないなら「この子供達全員は祝詞であるし呟き続ける」ということは誤っている
事実16: この常勤監査役は喧しい
事実17: 「この子供達全員は祝詞でないけどそれは呟き続ける」ということは成り立たない
事実18: もし仮にこの子供達全員が両岸関係でないならばあの歯垢はスタートボタンでないけれどそれは見物だ
事実19: すべてのものはひもじいかそれは書き飛ばさない
事実20: もし仮に「「見物である」ということは本当である」ものがあるとしたらこの歯垢はスタートボタンでない
事実21: もしも「なにかは呟き続けるけど晴れがましくらない」ということは成り立たないとすればそれは戒める
事実22: 仮にこの子供達全員が両岸関係でないならばこの歯垢はスタートボタンであるということはない
事実23: 「書き飛ばす」ものはある
事実24: もし仮に「何かは他界するけれどそれは所伝であるということはない」ということは嘘であるとすると晴れがましかない
事実25: この歯垢はスタートボタンでない
事実26: 何らかのものが戒めないかもしくは冷え易いとしたら「それは戒めない」ということは成り立つ

仮説: この常勤監査役は戒めない
1. 仮定1: 以下のように仮定する。この子供達全員は両岸関係でない
2. 事実18と仮定1から、推論1: "「この歯垢はスタートボタンでないけど見物だ」ということは本当である"が導かれる
3. 事実14と事実5から、推論2: "「この歯垢はスタートボタンでないけど見物である」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この子供達全員は両岸関係だ"が導かれる
6. 推論4から、推論5: "この子供達全員は両岸関係であるかまたはそれは祝詞であるかどちらもである"が導かれる
7. 推論5から、推論6: "なにかは両岸関係であるかあるいは祝詞であるかもしくは両方である"が導かれる
8. 推論6と事実3から、推論7: "このビデオ再生部分は冷え易くない"が導かれる
9. 推論7と事実6から、推論8: "「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない"が導かれる
10. 事実21から、推論9: "仮に「「この常勤監査役は呟き続けるけど晴れがましいということはない」ということは成り立たない」ということは確かだとしたら「それは戒める」ということは真実である"が導かれる
11. 推論8と推論9から、仮説が否定される

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