その修繕費は主要産地でないししかも参加し易くない
fact1: もしも「とある物は変え得るかあるいは頑張り過ぎる」ということは成り立つならそれは獅子舶でない fact2: もし仮にその修繕費は聴覚コーチング法でないなら「それは主要産地でないし更にそれは更新だということはない」ということは嘘だ fact3: もし「何らかのものは参加し易くない」ということは確かであるとすれば「走り書きしないが頑張り過ぎる」ということは正しいということはない fact4: その修繕費は走り書きする fact5: その修繕費が頑張り過ぎるとしたらそれは獅子舶でない fact6: もしも「その石門は獅子舶である」ということは成り立つなら「それは生白くない」ということは成り立つ fact7: もしもその修繕費は走り書きするとしたら「ＤＡでないし更に山村でない」ということは誤りだ fact8: もしその修繕費が変え得ないならそれはＤＡでないしさらにそれは山村であるということはない fact9: もしある物は獅子舶でないとしたら「主要産地でないしそれは参加し易くない」ということは偽である fact10: もしも「「あの腹拵えは主要産地であるけれど頑張り過ぎるということはない」ということは成り立たない」ということは成り立つとすればあの修繕費は主要産地でない fact11: その修繕費は新規性でないならば「色めかないしかつそれはＤＡである」ということは成り立たない fact12: あの時間値は走り書きする fact13: あの飛行甲板は参加し易いかあるいは倒壊危険性ならばそれは喋り始めない
void -> assump1: 以下のように仮定する。その修繕費は変え得ない; fact8 & assump1 -> int1: その修繕費はＤＡでないしそれに山村でない; fact7 & fact4 -> int2: 「その修繕費はＤＡでなくておまけにそれは山村でない」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その修繕費は変え得る; int4 -> int5: その修繕費は変え得るかあるいはそれは頑張り過ぎるかどちらもだ; fact1 -> int6: その修繕費が変え得るかあるいはそれが頑張り過ぎるとすると獅子舶でない; int5 & int6 -> int7: その修繕費は獅子舶でない; fact9 -> int8: その修繕費は獅子舶でないとすれば「それは主要産地でないしその上参加し易くない」ということは成り立つということはない; int7 & int8 -> hypothesis;
その修繕費は主要産地でないしおまけにそれは参加し易くない
$facts$ = fact1: もしも「とある物は変え得るかあるいは頑張り過ぎる」ということは成り立つならそれは獅子舶でない fact2: もし仮にその修繕費は聴覚コーチング法でないなら「それは主要産地でないし更にそれは更新だということはない」ということは嘘だ fact3: もし「何らかのものは参加し易くない」ということは確かであるとすれば「走り書きしないが頑張り過ぎる」ということは正しいということはない fact4: その修繕費は走り書きする fact5: その修繕費が頑張り過ぎるとしたらそれは獅子舶でない fact6: もしも「その石門は獅子舶である」ということは成り立つなら「それは生白くない」ということは成り立つ fact7: もしもその修繕費は走り書きするとしたら「ＤＡでないし更に山村でない」ということは誤りだ fact8: もしその修繕費が変え得ないならそれはＤＡでないしさらにそれは山村であるということはない fact9: もしある物は獅子舶でないとしたら「主要産地でないしそれは参加し易くない」ということは偽である fact10: もしも「「あの腹拵えは主要産地であるけれど頑張り過ぎるということはない」ということは成り立たない」ということは成り立つとすればあの修繕費は主要産地でない fact11: その修繕費は新規性でないならば「色めかないしかつそれはＤＡである」ということは成り立たない fact12: あの時間値は走り書きする fact13: あの飛行甲板は参加し易いかあるいは倒壊危険性ならばそれは喋り始めない ; $hypothesis$ = その修繕費は主要産地でないししかも参加し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その修繕費は変え得ない; fact8 & assump1 -> int1: その修繕費はＤＡでないしそれに山村でない; fact7 & fact4 -> int2: 「その修繕費はＤＡでなくておまけにそれは山村でない」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その修繕費は変え得る; int4 -> int5: その修繕費は変え得るかあるいはそれは頑張り過ぎるかどちらもだ; fact1 -> int6: その修繕費が変え得るかあるいはそれが頑張り過ぎるとすると獅子舶でない; int5 & int6 -> int7: その修繕費は獅子舶でない; fact9 -> int8: その修繕費は獅子舶でないとすれば「それは主要産地でないしその上参加し易くない」ということは成り立つということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしも「とある物は変え得るかあるいは頑張り過ぎる」ということは成り立つならそれは獅子舶でない
事実2: もし仮にその修繕費は聴覚コーチング法でないなら「それは主要産地でないし更にそれは更新だということはない」ということは嘘だ
事実3: もし「何らかのものは参加し易くない」ということは確かであるとすれば「走り書きしないが頑張り過ぎる」ということは正しいということはない
事実4: その修繕費は走り書きする
事実5: その修繕費が頑張り過ぎるとしたらそれは獅子舶でない
事実6: もしも「その石門は獅子舶である」ということは成り立つなら「それは生白くない」ということは成り立つ
事実7: もしもその修繕費は走り書きするとしたら「ＤＡでないし更に山村でない」ということは誤りだ
事実8: もしその修繕費が変え得ないならそれはＤＡでないしさらにそれは山村であるということはない
事実9: もしある物は獅子舶でないとしたら「主要産地でないしそれは参加し易くない」ということは偽である
事実10: もしも「「あの腹拵えは主要産地であるけれど頑張り過ぎるということはない」ということは成り立たない」ということは成り立つとすればあの修繕費は主要産地でない
事実11: その修繕費は新規性でないならば「色めかないしかつそれはＤＡである」ということは成り立たない
事実12: あの時間値は走り書きする
事実13: あの飛行甲板は参加し易いかあるいは倒壊危険性ならばそれは喋り始めない

仮説: その修繕費は主要産地でないししかも参加し易くない
1. 仮定1: 以下のように仮定する。その修繕費は変え得ない
2. 事実8と仮定1から、推論1: "その修繕費はＤＡでないしそれに山村でない"が導かれる
3. 事実7と事実4から、推論2: "「その修繕費はＤＡでなくておまけにそれは山村でない」ということは間違いだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その修繕費は変え得る"が導かれる
6. 推論4から、推論5: "その修繕費は変え得るかあるいはそれは頑張り過ぎるかどちらもだ"が導かれる
7. 事実1から、推論6: "その修繕費が変え得るかあるいはそれが頑張り過ぎるとすると獅子舶でない"が導かれる
8. 推論5と推論6から、推論7: "その修繕費は獅子舶でない"が導かれる
9. 事実9から、推論8: "その修繕費は獅子舶でないとすれば「それは主要産地でないしその上参加し易くない」ということは成り立つということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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