その一流会社は壊れ掛からない
fact1: 園生活は商売敵だが泣き始めるということはない fact2: その総取りは商売敵でないならば「その大流行は記憶出来なくて由々しくない」ということは成り立たない fact3: もし仮に由々しい物が記憶出来ないなら御座りする fact4: その総取りは記憶出来るしまた由々しい fact5: 「「申し込みしないし加えて心許ない」ということは誤っている」ものはある fact6: 心許ないということはないものは御座りしない fact7: もし「その総取りは商売敵である」ということは真実ならばその船酔いは園生活である fact8: もし「ある物は申し込みする」ということは本当であるとすればその船酔いは心許なくない fact9: 「「申し込みしないし心許ない」ということは間違いな」ものがあるとすればあの船酔いは心許ないということはない fact10: 仮に「その大流行は記憶出来るということはなくて更に由々しくない」ということは事実と異なればその一流会社は壊れ掛かる fact11: 園生活は御座りする
void -> assump1: 以下のように仮定する。その総取りは商売敵だ; fact7 & assump1 -> int1: その船酔いは園生活だ; fact11 -> int2: もしもその船酔いは園生活であるならそれは御座りする; int1 & int2 -> int3: その船酔いは御座りする; fact6 -> int4: もしその船酔いが心許なくないとすればそれは御座りしない; fact9 & fact5 -> int5: その船酔いは心許なくない; int4 & int5 -> int6: その船酔いは御座りしない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その総取りは商売敵でない; int8 & fact2 -> int9: 「「その大流行は記憶出来ないしさらに由々しいということはない」ということは成り立つ」ということは成り立たない; int9 & fact10 -> hypothesis;
その一流会社は泣き始めない
fact12 -> int10: その一流会社が園生活だとすればそれは商売敵であるしかつそれは泣き始めるということはない; fact13 -> int11: その総取りは記憶出来る;
$facts$ = fact1: 園生活は商売敵だが泣き始めるということはない fact2: その総取りは商売敵でないならば「その大流行は記憶出来なくて由々しくない」ということは成り立たない fact3: もし仮に由々しい物が記憶出来ないなら御座りする fact4: その総取りは記憶出来るしまた由々しい fact5: 「「申し込みしないし加えて心許ない」ということは誤っている」ものはある fact6: 心許ないということはないものは御座りしない fact7: もし「その総取りは商売敵である」ということは真実ならばその船酔いは園生活である fact8: もし「ある物は申し込みする」ということは本当であるとすればその船酔いは心許なくない fact9: 「「申し込みしないし心許ない」ということは間違いな」ものがあるとすればあの船酔いは心許ないということはない fact10: 仮に「その大流行は記憶出来るということはなくて更に由々しくない」ということは事実と異なればその一流会社は壊れ掛かる fact11: 園生活は御座りする ; $hypothesis$ = その一流会社は壊れ掛からない ; $proof$ = 
void -> assump1: 以下のように仮定する。その総取りは商売敵だ; fact7 & assump1 -> int1: その船酔いは園生活だ; fact11 -> int2: もしもその船酔いは園生活であるならそれは御座りする; int1 & int2 -> int3: その船酔いは御座りする; fact6 -> int4: もしその船酔いが心許なくないとすればそれは御座りしない; fact9 & fact5 -> int5: その船酔いは心許なくない; int4 & int5 -> int6: その船酔いは御座りしない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その総取りは商売敵でない; int8 & fact2 -> int9: 「「その大流行は記憶出来ないしさらに由々しいということはない」ということは成り立つ」ということは成り立たない; int9 & fact10 -> hypothesis; __DISPROVED__
事実1: 園生活は商売敵だが泣き始めるということはない
事実2: その総取りは商売敵でないならば「その大流行は記憶出来なくて由々しくない」ということは成り立たない
事実3: もし仮に由々しい物が記憶出来ないなら御座りする
事実4: その総取りは記憶出来るしまた由々しい
事実5: 「「申し込みしないし加えて心許ない」ということは誤っている」ものはある
事実6: 心許ないということはないものは御座りしない
事実7: もし「その総取りは商売敵である」ということは真実ならばその船酔いは園生活である
事実8: もし「ある物は申し込みする」ということは本当であるとすればその船酔いは心許なくない
事実9: 「「申し込みしないし心許ない」ということは間違いな」ものがあるとすればあの船酔いは心許ないということはない
事実10: 仮に「その大流行は記憶出来るということはなくて更に由々しくない」ということは事実と異なればその一流会社は壊れ掛かる
事実11: 園生活は御座りする

仮説: その一流会社は壊れ掛からない
1. 仮定1: 以下のように仮定する。その総取りは商売敵だ
2. 事実7と仮定1から、推論1: "その船酔いは園生活だ"が導かれる
3. 事実11から、推論2: "もしもその船酔いは園生活であるならそれは御座りする"が導かれる
4. 推論1と推論2から、推論3: "その船酔いは御座りする"が導かれる
5. 事実6から、推論4: "もしその船酔いが心許なくないとすればそれは御座りしない"が導かれる
6. 事実9と事実5から、推論5: "その船酔いは心許なくない"が導かれる
7. 推論4と推論5から、推論6: "その船酔いは御座りしない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その総取りは商売敵でない"が導かれる
10. 推論8と事実2から、推論9: "「「その大流行は記憶出来ないしさらに由々しいということはない」ということは成り立つ」ということは成り立たない"が導かれる
11. 推論9と事実10から、仮説が否定される

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