あの機能空間は注ぎ足す
fact1: 仮に「「四人一緒であるかもしくは気張らない」ということは誤りである」物があればあの会議開催は取り調べ室でない fact2: 「「注ぎ足す」ということは真実である」ものはある fact3: 「「四人一緒でないかもしくは気張るかもしくは両方ともだ」ということは誤りな」物はある fact4: 「「ダッシュでないけど疑う」ということは嘘である」物があるとしたらあの機能空間は血流である fact5: なにかは怒れるとすれば「この競売はダッシュであるということはないがしかし疑う」ということは誤っている fact6: このヘパリン加生理食塩水は確からしい fact7: 「「奥手でないかもしくは脱ぎ捨てないかどちらもである」ということは成り立たない」ものはある fact8: もしこの御祝い事は確からしいならば「それは四人一緒でないかまたは気張るかまたは両方ともだ」ということは確かでない fact9: このヘパリン加生理食塩水は確からしいとすれば「それは四人一緒でないかもしくは気張らないかどちらもだ」ということは成り立つということはない fact10: もしもこのヘパリン加生理食塩水は疑うとしたら「それは四人一緒でないかあるいは血流でないかあるいは両方ともである」ということは成り立たない fact11: もし仮に「血流でおまけに注ぎ足す」物はあれば「あの会議開催は取り調べ室だ」ということは真実だ fact12: 「「ダッシュだしまた疑う」ということは偽である」物はある fact13: 「怒れる」物はある fact14: このヘパリン加生理食塩水は四人一緒だ fact15: 「四人一緒な」物はある fact16: もし「「四人一緒であるということはないかあるいは気張らないかまたは両方だ」ということは間違いである」物があるとするとあの会議開催は取り調べ室であるということはない fact17: とあるものは四人一緒でないかそれは気張らないかまたは両方である fact18: もし「ダッシュである」物があるとすればあの機能空間は血流である fact19: 「もしも「このヘパリン加生理食塩水は疑わなくてその上取り調べ室でない」ということは誤りだとすればあの会議開催は疑う」ということは確かである fact20: もしも「あの会議開催は疑わない」ということは成り立たないとすればこの競売はダッシュでなくてそれにそれは怒れない fact21: 仮に「「血流でないか気張るということはないかあるいは両方ともだ」ということは成り立つということはない」ものがあるとすればあのヘパリン加生理食塩水はダッシュでない fact22: もしも「この御祝い事は四人一緒でないか気張るかもしくは両方だ」ということは成り立たないとするとそれは血流でない
fact13 & fact5 -> int1: 「この競売はダッシュでないけれど疑う」ということは誤っている; int1 -> int2: 「「ダッシュであるということはない一方で疑う」ということは嘘な」物はある; int2 & fact4 -> int3: あの機能空間は血流だ; void -> assump1: 以下のように仮定する。あの機能空間は注ぎ足す; int3 & assump1 -> int4: あの機能空間は血流でその上注ぎ足す; int4 -> int5: なんらかの物は血流だしそれに注ぎ足す; int5 & fact11 -> int6: あの会議開催は取り調べ室だ; fact6 & fact9 -> int7: 「このヘパリン加生理食塩水は四人一緒でないかそれは気張らない」ということは成り立たない; int7 -> int8: 「「四人一緒でないかもしくは気張らないかもしくは両方ともだ」ということは誤りな」ものはある; int8 & fact16 -> int9: 「あの会議開催は取り調べ室でない」ということは事実である; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの機能空間は注ぎ足す
$facts$ = fact1: 仮に「「四人一緒であるかもしくは気張らない」ということは誤りである」物があればあの会議開催は取り調べ室でない fact2: 「「注ぎ足す」ということは真実である」ものはある fact3: 「「四人一緒でないかもしくは気張るかもしくは両方ともだ」ということは誤りな」物はある fact4: 「「ダッシュでないけど疑う」ということは嘘である」物があるとしたらあの機能空間は血流である fact5: なにかは怒れるとすれば「この競売はダッシュであるということはないがしかし疑う」ということは誤っている fact6: このヘパリン加生理食塩水は確からしい fact7: 「「奥手でないかもしくは脱ぎ捨てないかどちらもである」ということは成り立たない」ものはある fact8: もしこの御祝い事は確からしいならば「それは四人一緒でないかまたは気張るかまたは両方ともだ」ということは確かでない fact9: このヘパリン加生理食塩水は確からしいとすれば「それは四人一緒でないかもしくは気張らないかどちらもだ」ということは成り立つということはない fact10: もしもこのヘパリン加生理食塩水は疑うとしたら「それは四人一緒でないかあるいは血流でないかあるいは両方ともである」ということは成り立たない fact11: もし仮に「血流でおまけに注ぎ足す」物はあれば「あの会議開催は取り調べ室だ」ということは真実だ fact12: 「「ダッシュだしまた疑う」ということは偽である」物はある fact13: 「怒れる」物はある fact14: このヘパリン加生理食塩水は四人一緒だ fact15: 「四人一緒な」物はある fact16: もし「「四人一緒であるということはないかあるいは気張らないかまたは両方だ」ということは間違いである」物があるとするとあの会議開催は取り調べ室であるということはない fact17: とあるものは四人一緒でないかそれは気張らないかまたは両方である fact18: もし「ダッシュである」物があるとすればあの機能空間は血流である fact19: 「もしも「このヘパリン加生理食塩水は疑わなくてその上取り調べ室でない」ということは誤りだとすればあの会議開催は疑う」ということは確かである fact20: もしも「あの会議開催は疑わない」ということは成り立たないとすればこの競売はダッシュでなくてそれにそれは怒れない fact21: 仮に「「血流でないか気張るということはないかあるいは両方ともだ」ということは成り立つということはない」ものがあるとすればあのヘパリン加生理食塩水はダッシュでない fact22: もしも「この御祝い事は四人一緒でないか気張るかもしくは両方だ」ということは成り立たないとするとそれは血流でない ; $hypothesis$ = あの機能空間は注ぎ足す ; $proof$ = 
fact13 & fact5 -> int1: 「この競売はダッシュでないけれど疑う」ということは誤っている; int1 -> int2: 「「ダッシュであるということはない一方で疑う」ということは嘘な」物はある; int2 & fact4 -> int3: あの機能空間は血流だ; void -> assump1: 以下のように仮定する。あの機能空間は注ぎ足す; int3 & assump1 -> int4: あの機能空間は血流でその上注ぎ足す; int4 -> int5: なんらかの物は血流だしそれに注ぎ足す; int5 & fact11 -> int6: あの会議開催は取り調べ室だ; fact6 & fact9 -> int7: 「このヘパリン加生理食塩水は四人一緒でないかそれは気張らない」ということは成り立たない; int7 -> int8: 「「四人一緒でないかもしくは気張らないかもしくは両方ともだ」ということは誤りな」ものはある; int8 & fact16 -> int9: 「あの会議開催は取り調べ室でない」ということは事実である; int6 & int9 -> int10: これは矛盾である; [assump1] & 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: もしも「この御祝い事は四人一緒でないか気張るかもしくは両方だ」ということは成り立たないとするとそれは血流でない

仮説: あの機能空間は注ぎ足す
1. 事実13と事実5から、推論1: "「この競売はダッシュでないけれど疑う」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「ダッシュであるということはない一方で疑う」ということは嘘な」物はある"が導かれる
3. 推論2と事実4から、推論3: "あの機能空間は血流だ"が導かれる
4. 仮定1: 以下のように仮定する。あの機能空間は注ぎ足す
5. 推論3と仮定1から、推論4: "あの機能空間は血流でその上注ぎ足す"が導かれる
6. 推論4から、推論5: "なんらかの物は血流だしそれに注ぎ足す"が導かれる
7. 推論5と事実11から、推論6: "あの会議開催は取り調べ室だ"が導かれる
8. 事実6と事実9から、推論7: "「このヘパリン加生理食塩水は四人一緒でないかそれは気張らない」ということは成り立たない"が導かれる
9. 推論7から、推論8: "「「四人一緒でないかもしくは気張らないかもしくは両方ともだ」ということは誤りな」ものはある"が導かれる
10. 推論8と事実16から、推論9: "「あの会議開催は取り調べ室でない」ということは事実である"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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