その情報局は夕食会でない
fact1: 「「延滞しない」ということは確かな」ものはある fact2: 仮にその情報局は接合部でないとするとそれは夕食会で加えて解決し得る fact3: その立ち遅れは解決し得る fact4: もし仮に遣る瀬無いものが怒るとしたらそれは解決し得るということはない fact5: 「その情報局は遂行しない」ということは成り立つ fact6: 仮に「その立ち遅れは遂行するし平ったい」ということは成り立たないとすればその滑り台は延滞しない fact7: もし仮にとある物が解決し得るということはないとすればそれは延滞するし接合部だ fact8: 「このロココ曲線は遣る瀬無いかそれは怒らないかまたはどちらもだ」ということは成り立たない fact9: 仮にその情報局が夕食会であるということはないとすればあの秩序は夕食会でない fact10: その滑り台は平ったい fact11: 「用うないし延滞しない」物があるとすればその情報局は接合部でない fact12: もし仮にあの秩序が用うとしたらこのロココ曲線は吊り易い fact13: 「その立ち遅れは遂行するし平ったい」ということは誤っている fact14: 「遣る瀬無くなくてしかも吊り易くない」ものはある fact15: その立ち遅れが夕食会でないとすれば延滞するしそれに遂行する fact16: 仮にあるものは延滞するなら「用うしそれは吊り易いということはない」ということは成り立たない fact17: あの秩序が用うということはないとするとこのロココ曲線は用うということはない fact18: このロココ曲線は解決し得ない fact19: その情報局は延滞するということはない fact20: その滑り台は延滞しないとすると「あの秩序は延滞しない」ということは成り立つ fact21: 「とある物は用うが吊り易くない」ということは偽だとしたら夕食会でない fact22: もし仮に「このロココ曲線は遣る瀬無いかまたは怒らないかあるいは両方である」ということは成り立たないとしたら吊り易いということはない fact23: その情報局は接合部でないとすると「それは解決し得る」ということは正しい
void -> assump1: 以下のように仮定する。あの秩序は用う; fact12 & assump1 -> int1: このロココ曲線は吊り易い; fact22 & fact8 -> int2: このロココ曲線は吊り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの秩序は用うない; fact6 & fact13 -> int5: その滑り台は延滞するということはない; int5 & fact20 -> int6: あの秩序は延滞しない; int4 & int6 -> int7: あの秩序は用うないしまた延滞しない; int7 -> int8: なんらかのものは用うないしおまけに延滞するということはない; int8 & fact11 -> int9: その情報局は接合部であるということはない; int9 & fact2 -> int10: その情報局は夕食会であるしそれに解決し得る; int10 -> hypothesis;
その情報局は夕食会でない
fact24 -> int11: 「「「その情報局は用うけど吊り易くない」ということは真実である」ということは成り立たないならその情報局は夕食会であるということはない」ということは確かだ; fact27 -> int12: その情報局は延滞するとすると「用うけれど吊り易くない」ということは偽である; fact25 -> int13: 仮にその情報局は解決し得ないとしたら延滞するしそれに接合部だ; fact26 -> int14: その情報局は遣る瀬無くて更に怒るとすると「それは解決し得ない」ということは本当である;
$facts$ = fact1: 「「延滞しない」ということは確かな」ものはある fact2: 仮にその情報局は接合部でないとするとそれは夕食会で加えて解決し得る fact3: その立ち遅れは解決し得る fact4: もし仮に遣る瀬無いものが怒るとしたらそれは解決し得るということはない fact5: 「その情報局は遂行しない」ということは成り立つ fact6: 仮に「その立ち遅れは遂行するし平ったい」ということは成り立たないとすればその滑り台は延滞しない fact7: もし仮にとある物が解決し得るということはないとすればそれは延滞するし接合部だ fact8: 「このロココ曲線は遣る瀬無いかそれは怒らないかまたはどちらもだ」ということは成り立たない fact9: 仮にその情報局が夕食会であるということはないとすればあの秩序は夕食会でない fact10: その滑り台は平ったい fact11: 「用うないし延滞しない」物があるとすればその情報局は接合部でない fact12: もし仮にあの秩序が用うとしたらこのロココ曲線は吊り易い fact13: 「その立ち遅れは遂行するし平ったい」ということは誤っている fact14: 「遣る瀬無くなくてしかも吊り易くない」ものはある fact15: その立ち遅れが夕食会でないとすれば延滞するしそれに遂行する fact16: 仮にあるものは延滞するなら「用うしそれは吊り易いということはない」ということは成り立たない fact17: あの秩序が用うということはないとするとこのロココ曲線は用うということはない fact18: このロココ曲線は解決し得ない fact19: その情報局は延滞するということはない fact20: その滑り台は延滞しないとすると「あの秩序は延滞しない」ということは成り立つ fact21: 「とある物は用うが吊り易くない」ということは偽だとしたら夕食会でない fact22: もし仮に「このロココ曲線は遣る瀬無いかまたは怒らないかあるいは両方である」ということは成り立たないとしたら吊り易いということはない fact23: その情報局は接合部でないとすると「それは解決し得る」ということは正しい ; $hypothesis$ = その情報局は夕食会でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの秩序は用う; fact12 & assump1 -> int1: このロココ曲線は吊り易い; fact22 & fact8 -> int2: このロココ曲線は吊り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの秩序は用うない; fact6 & fact13 -> int5: その滑り台は延滞するということはない; int5 & fact20 -> int6: あの秩序は延滞しない; int4 & int6 -> int7: あの秩序は用うないしまた延滞しない; int7 -> int8: なんらかのものは用うないしおまけに延滞するということはない; int8 & fact11 -> int9: その情報局は接合部であるということはない; int9 & fact2 -> int10: その情報局は夕食会であるしそれに解決し得る; int10 -> 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: その情報局は接合部でないとすると「それは解決し得る」ということは正しい

仮説: その情報局は夕食会でない
1. 仮定1: 以下のように仮定する。あの秩序は用う
2. 事実12と仮定1から、推論1: "このロココ曲線は吊り易い"が導かれる
3. 事実22と事実8から、推論2: "このロココ曲線は吊り易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの秩序は用うない"が導かれる
6. 事実6と事実13から、推論5: "その滑り台は延滞するということはない"が導かれる
7. 推論5と事実20から、推論6: "あの秩序は延滞しない"が導かれる
8. 推論4と推論6から、推論7: "あの秩序は用うないしまた延滞しない"が導かれる
9. 推論7から、推論8: "なんらかのものは用うないしおまけに延滞するということはない"が導かれる
10. 推論8と事実11から、推論9: "その情報局は接合部であるということはない"が導かれる
11. 推論9と事実2から、推論10: "その情報局は夕食会であるしそれに解決し得る"が導かれる
12. 推論10から、仮説が否定される

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