このノーメイクは御労しくない
fact1: あの北野天神は企業革新でない fact2: もし「このＶワン誘導は活動し難い」ということは確かであるならばこのノーメイクは企業革新だ fact3: もし仮にこのＶワン誘導が殴り殺すとするとあの音楽祭は可愛い fact4: もしも「このＶワン誘導は活動し難くないししかも疎ましくらない」ということは偽であるとするとこのノーメイクは企業革新である fact5: もし仮にこのノーメイクが疎ましくらないし御労しくないならば「それは活動し難い」ということは成り立つ fact6: あの音楽祭はゲーブルでないしさらに遅くない fact7: もしもこのＶワン誘導は活動し難くないし疎ましかないなら殴り殺す fact8: 企業革新は御労しい fact9: このノーメイクは聞き易くない fact10: もし「なんらかの物は殴り殺さないがしかし可愛い」ということは真実でないなら御労しくない fact11: 仮にあの音楽祭が御労しいとしたらこのノーメイクは遅い fact12: もしもなにかは企業革新でないとすれば「殴り殺さないけど可愛い」ということは誤りだ fact13: もし仮になにがしかのものが遅くないとしたらそれは可愛くない fact14: 仮にこのＶワン誘導が活動し難いけど疎ましくらないとしたらそれは殴り殺す
void -> assump1: 以下のように仮定する。このＶワン誘導は活動し難くないしそれに疎ましいということはない; fact7 & assump1 -> int1: このＶワン誘導は殴り殺す; int1 & fact3 -> int2: あの音楽祭は可愛い; fact13 -> int3: もしもあの音楽祭が遅くないとすれば可愛くない; fact6 -> int4: あの音楽祭は遅くない; int3 & int4 -> int5: あの音楽祭は可愛くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このＶワン誘導は活動し難くないしそれに疎ましくらない」ということは本当でない; int7 & fact4 -> int8: このノーメイクは企業革新だ; fact8 -> int9: このノーメイクが企業革新だとすれば御労しい; int8 & int9 -> hypothesis;
このノーメイクは御労しくない
fact15 -> int10: もし仮に「このノーメイクは殴り殺さないけれど可愛い」ということは成り立たないなら御労しいということはない; fact16 -> int11: もしこのノーメイクは企業革新でないとすれば「殴り殺さなくて更に可愛い」ということは間違いである;
$facts$ = fact1: あの北野天神は企業革新でない fact2: もし「このＶワン誘導は活動し難い」ということは確かであるならばこのノーメイクは企業革新だ fact3: もし仮にこのＶワン誘導が殴り殺すとするとあの音楽祭は可愛い fact4: もしも「このＶワン誘導は活動し難くないししかも疎ましくらない」ということは偽であるとするとこのノーメイクは企業革新である fact5: もし仮にこのノーメイクが疎ましくらないし御労しくないならば「それは活動し難い」ということは成り立つ fact6: あの音楽祭はゲーブルでないしさらに遅くない fact7: もしもこのＶワン誘導は活動し難くないし疎ましかないなら殴り殺す fact8: 企業革新は御労しい fact9: このノーメイクは聞き易くない fact10: もし「なんらかの物は殴り殺さないがしかし可愛い」ということは真実でないなら御労しくない fact11: 仮にあの音楽祭が御労しいとしたらこのノーメイクは遅い fact12: もしもなにかは企業革新でないとすれば「殴り殺さないけど可愛い」ということは誤りだ fact13: もし仮になにがしかのものが遅くないとしたらそれは可愛くない fact14: 仮にこのＶワン誘導が活動し難いけど疎ましくらないとしたらそれは殴り殺す ; $hypothesis$ = このノーメイクは御労しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＶワン誘導は活動し難くないしそれに疎ましいということはない; fact7 & assump1 -> int1: このＶワン誘導は殴り殺す; int1 & fact3 -> int2: あの音楽祭は可愛い; fact13 -> int3: もしもあの音楽祭が遅くないとすれば可愛くない; fact6 -> int4: あの音楽祭は遅くない; int3 & int4 -> int5: あの音楽祭は可愛くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このＶワン誘導は活動し難くないしそれに疎ましくらない」ということは本当でない; int7 & fact4 -> int8: このノーメイクは企業革新だ; fact8 -> int9: このノーメイクが企業革新だとすれば御労しい; int8 & int9 -> hypothesis; __DISPROVED__
事実1: あの北野天神は企業革新でない
事実2: もし「このＶワン誘導は活動し難い」ということは確かであるならばこのノーメイクは企業革新だ
事実3: もし仮にこのＶワン誘導が殴り殺すとするとあの音楽祭は可愛い
事実4: もしも「このＶワン誘導は活動し難くないししかも疎ましくらない」ということは偽であるとするとこのノーメイクは企業革新である
事実5: もし仮にこのノーメイクが疎ましくらないし御労しくないならば「それは活動し難い」ということは成り立つ
事実6: あの音楽祭はゲーブルでないしさらに遅くない
事実7: もしもこのＶワン誘導は活動し難くないし疎ましかないなら殴り殺す
事実8: 企業革新は御労しい
事実9: このノーメイクは聞き易くない
事実10: もし「なんらかの物は殴り殺さないがしかし可愛い」ということは真実でないなら御労しくない
事実11: 仮にあの音楽祭が御労しいとしたらこのノーメイクは遅い
事実12: もしもなにかは企業革新でないとすれば「殴り殺さないけど可愛い」ということは誤りだ
事実13: もし仮になにがしかのものが遅くないとしたらそれは可愛くない
事実14: 仮にこのＶワン誘導が活動し難いけど疎ましくらないとしたらそれは殴り殺す

仮説: このノーメイクは御労しくない
1. 仮定1: 以下のように仮定する。このＶワン誘導は活動し難くないしそれに疎ましいということはない
2. 事実7と仮定1から、推論1: "このＶワン誘導は殴り殺す"が導かれる
3. 推論1と事実3から、推論2: "あの音楽祭は可愛い"が導かれる
4. 事実13から、推論3: "もしもあの音楽祭が遅くないとすれば可愛くない"が導かれる
5. 事実6から、推論4: "あの音楽祭は遅くない"が導かれる
6. 推論3と推論4から、推論5: "あの音楽祭は可愛くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このＶワン誘導は活動し難くないしそれに疎ましくらない」ということは本当でない"が導かれる
9. 推論7と事実4から、推論8: "このノーメイクは企業革新だ"が導かれる
10. 事実8から、推論9: "このノーメイクが企業革新だとすれば御労しい"が導かれる
11. 推論8と推論9から、仮説が否定される

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