「「あのタイガースは急停車するかもしくは打ち消すかまたは両方ともだ」ということは誤っている」ということは成り立つ
fact1: 仮に何らかのものは打ち消さないとすると「「それは居宅介護だがしかし聞き続けるということはない」ということは本当だ」ということは嘘である fact2: もし仮に「そのアスパラはすっごい」ということは確かだとすれば「それは何するということはないかあるいはそれはうざくないかあるいはどちらもである」ということは間違いだ fact3: ある物は居宅介護だということはないなら「それは急停車するかもしくは打ち消すかあるいは両方ともだ」ということは間違っている fact4: もしも「「愛らしいし敵中深い」ということは成り立つということはない」物があるとすればあの第十七図は居宅介護である fact5: もし「この竹光は野外活動であるけれどし難くない」ということは本当であるということはないとしたらこの鎌鼬は切り替える fact6: もしも「愛らしいということはない」物があるならその第十七図は居宅介護だ fact7: 仮にこの竹光がし難いとしたらこの鎌鼬は聞き続ける fact8: もし「その第十七図は切り替えるが野外活動でない」ということは成り立つということはないならあのタイガースは急停車する fact9: もしその第十七図が居宅介護であるしまた独立債務性ならばこの鎌鼬は聞き続けない fact10: この鎌鼬は聞き続けるかあるいはそれは急停車する fact11: この鎌鼬が切り替えるとすればその第十七図は切り替える fact12: もし「なにがしかのものは何しないかもしくはうざくないかあるいは両方である」ということは成り立たないとしたら空かさない fact13: 「「「まどろむしさらにしどけない」ということは成り立つ」ということは成り立たない」ものはある fact14: 「「愛らしくて更に敵中深い」ということは偽である」ものはある fact15: 「もし仮にそのアスパラは空かさないとすれば「この竹光は野外活動であるがしかしそれはし難いということはない」ということは誤っている」ということは事実である fact16: なんらかの物は聞き続けるしかつそれは急停車する fact17: 「この竹光はし難い」ということは成り立つ fact18: もしも「なんらかのものは独立債務性でない」ということは成り立つとすれば「それは切り替えるけれど野外活動でない」ということは誤りだ
fact14 & fact4 -> int1: その第十七図は居宅介護である; void -> assump1: 以下のように仮定する。その第十七図は独立債務性だ; int1 & assump1 -> int2: その第十七図は居宅介護でまたそれは独立債務性である; int2 & fact9 -> int3: この鎌鼬は聞き続けるということはない; fact7 & fact17 -> int4: この鎌鼬は聞き続ける; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その第十七図は独立債務性でない; fact18 -> int7: もし仮にその第十七図は独立債務性でないならば「それは切り替えるし野外活動でない」ということは間違いだ; int6 & int7 -> int8: 「その第十七図は切り替えるけど野外活動でない」ということは間違いだ; int8 & fact8 -> int9: あのタイガースは急停車する; int9 -> hypothesis;
「あのタイガースは急停車するかもしくはそれは打ち消すか両方である」ということは偽だ
fact23 -> int10: もし仮にあのタイガースは居宅介護でないとすると「それは急停車するかまたは打ち消す」ということは成り立つということはない; fact20 -> int11: もし仮に「そのアスパラは何するということはないかそれはうざくないかもしくは両方である」ということは誤っているとしたら空かさない;
$facts$ = fact1: 仮に何らかのものは打ち消さないとすると「「それは居宅介護だがしかし聞き続けるということはない」ということは本当だ」ということは嘘である fact2: もし仮に「そのアスパラはすっごい」ということは確かだとすれば「それは何するということはないかあるいはそれはうざくないかあるいはどちらもである」ということは間違いだ fact3: ある物は居宅介護だということはないなら「それは急停車するかもしくは打ち消すかあるいは両方ともだ」ということは間違っている fact4: もしも「「愛らしいし敵中深い」ということは成り立つということはない」物があるとすればあの第十七図は居宅介護である fact5: もし「この竹光は野外活動であるけれどし難くない」ということは本当であるということはないとしたらこの鎌鼬は切り替える fact6: もしも「愛らしいということはない」物があるならその第十七図は居宅介護だ fact7: 仮にこの竹光がし難いとしたらこの鎌鼬は聞き続ける fact8: もし「その第十七図は切り替えるが野外活動でない」ということは成り立つということはないならあのタイガースは急停車する fact9: もしその第十七図が居宅介護であるしまた独立債務性ならばこの鎌鼬は聞き続けない fact10: この鎌鼬は聞き続けるかあるいはそれは急停車する fact11: この鎌鼬が切り替えるとすればその第十七図は切り替える fact12: もし「なにがしかのものは何しないかもしくはうざくないかあるいは両方である」ということは成り立たないとしたら空かさない fact13: 「「「まどろむしさらにしどけない」ということは成り立つ」ということは成り立たない」ものはある fact14: 「「愛らしくて更に敵中深い」ということは偽である」ものはある fact15: 「もし仮にそのアスパラは空かさないとすれば「この竹光は野外活動であるがしかしそれはし難いということはない」ということは誤っている」ということは事実である fact16: なんらかの物は聞き続けるしかつそれは急停車する fact17: 「この竹光はし難い」ということは成り立つ fact18: もしも「なんらかのものは独立債務性でない」ということは成り立つとすれば「それは切り替えるけれど野外活動でない」ということは誤りだ ; $hypothesis$ = 「「あのタイガースは急停車するかもしくは打ち消すかまたは両方ともだ」ということは誤っている」ということは成り立つ ; $proof$ = 
fact14 & fact4 -> int1: その第十七図は居宅介護である; void -> assump1: 以下のように仮定する。その第十七図は独立債務性だ; int1 & assump1 -> int2: その第十七図は居宅介護でまたそれは独立債務性である; int2 & fact9 -> int3: この鎌鼬は聞き続けるということはない; fact7 & fact17 -> int4: この鎌鼬は聞き続ける; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その第十七図は独立債務性でない; fact18 -> int7: もし仮にその第十七図は独立債務性でないならば「それは切り替えるし野外活動でない」ということは間違いだ; int6 & int7 -> int8: 「その第十七図は切り替えるけど野外活動でない」ということは間違いだ; int8 & fact8 -> int9: あのタイガースは急停車する; int9 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものは打ち消さないとすると「「それは居宅介護だがしかし聞き続けるということはない」ということは本当だ」ということは嘘である
事実2: もし仮に「そのアスパラはすっごい」ということは確かだとすれば「それは何するということはないかあるいはそれはうざくないかあるいはどちらもである」ということは間違いだ
事実3: ある物は居宅介護だということはないなら「それは急停車するかもしくは打ち消すかあるいは両方ともだ」ということは間違っている
事実4: もしも「「愛らしいし敵中深い」ということは成り立つということはない」物があるとすればあの第十七図は居宅介護である
事実5: もし「この竹光は野外活動であるけれどし難くない」ということは本当であるということはないとしたらこの鎌鼬は切り替える
事実6: もしも「愛らしいということはない」物があるならその第十七図は居宅介護だ
事実7: 仮にこの竹光がし難いとしたらこの鎌鼬は聞き続ける
事実8: もし「その第十七図は切り替えるが野外活動でない」ということは成り立つということはないならあのタイガースは急停車する
事実9: もしその第十七図が居宅介護であるしまた独立債務性ならばこの鎌鼬は聞き続けない
事実10: この鎌鼬は聞き続けるかあるいはそれは急停車する
事実11: この鎌鼬が切り替えるとすればその第十七図は切り替える
事実12: もし「なにがしかのものは何しないかもしくはうざくないかあるいは両方である」ということは成り立たないとしたら空かさない
事実13: 「「「まどろむしさらにしどけない」ということは成り立つ」ということは成り立たない」ものはある
事実14: 「「愛らしくて更に敵中深い」ということは偽である」ものはある
事実15: 「もし仮にそのアスパラは空かさないとすれば「この竹光は野外活動であるがしかしそれはし難いということはない」ということは誤っている」ということは事実である
事実16: なんらかの物は聞き続けるしかつそれは急停車する
事実17: 「この竹光はし難い」ということは成り立つ
事実18: もしも「なんらかのものは独立債務性でない」ということは成り立つとすれば「それは切り替えるけれど野外活動でない」ということは誤りだ

仮説: 「「あのタイガースは急停車するかもしくは打ち消すかまたは両方ともだ」ということは誤っている」ということは成り立つ
1. 事実14と事実4から、推論1: "その第十七図は居宅介護である"が導かれる
2. 仮定1: 以下のように仮定する。その第十七図は独立債務性だ
3. 推論1と仮定1から、推論2: "その第十七図は居宅介護でまたそれは独立債務性である"が導かれる
4. 推論2と事実9から、推論3: "この鎌鼬は聞き続けるということはない"が導かれる
5. 事実7と事実17から、推論4: "この鎌鼬は聞き続ける"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その第十七図は独立債務性でない"が導かれる
8. 事実18から、推論7: "もし仮にその第十七図は独立債務性でないならば「それは切り替えるし野外活動でない」ということは間違いだ"が導かれる
9. 推論6と推論7から、推論8: "「その第十七図は切り替えるけど野外活動でない」ということは間違いだ"が導かれる
10. 推論8と事実8から、推論9: "あのタイガースは急停車する"が導かれる
11. 推論9から、仮説が否定される

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