「その点鼻薬は鬱屈する」ということは確かである
fact1: もしもその点鼻薬が励み為さらないとするとそれはトレーニング前でない fact2: もしも搬送路が地球人種だとすればあの点鼻薬は励み為さらない fact3: 何かは計測・計算する fact4: もし仮にその点鼻薬はけたたましいがトレーニング前だということはないならば鬱屈しない fact5: この加賀艦攻隊が出火源であるとすればこの養成は地球人種でない fact6: あの任用は地球人種でない fact7: もし仮に「この加賀艦攻隊は雇用保険分であるけど出火源でない」ということは成り立たないならば「この養成は地球人種でない」ということは誤っていない fact8: 「計測・計算しない」ものはあるとすると「この加賀艦攻隊が雇用保険分だけどそれは出火源でない」ということは成り立たない fact9: とあるものは励み為さらない fact10: もしこの養成が地球人種でないとすればあの任用は搬送路だがしかし地球人種でない fact11: なにかは励み為さらないなら「それはトレーニング前でない」ということは事実である fact12: もし搬送路は地球人種でないとしたら「その点鼻薬は励み為さらない」ということは確かである fact13: 「地球人種でない」ものはある fact14: もしも「計測・計算しない」ものはあるとすれば「この加賀艦攻隊は雇用保険分であるしさらに出火源だ」ということは偽だ fact15: その点鼻薬はトレーニング前でない fact16: 仮にとあるものは地球人種でないとしたらそれは雇用保険分であるしそれに出火源である fact17: なにがしかのものは計測・計算しない fact18: もし仮にあるものが励み為さらないならけたたましくてトレーニング前でない
fact17 & fact8 -> int1: 「この加賀艦攻隊は雇用保険分だが出火源だということはない」ということは嘘だ; int1 & fact7 -> int2: この養成は地球人種でない; int2 & fact10 -> int3: あの任用は搬送路であるが地球人種であるということはない; int3 -> int4: 「搬送路であるしおまけに地球人種でない」ものはある; int4 & fact12 -> int5: 「その点鼻薬は励み為さらない」ということは成り立つ; fact18 -> int6: もしもその点鼻薬が励み為さらないとしたらそれはけたたましいしおまけにトレーニング前でない; int5 & int6 -> int7: その点鼻薬はけたたましいけれどトレーニング前でない; int7 & fact4 -> hypothesis;
その点鼻薬は鬱屈する
fact19 -> int8: もしこの加賀艦攻隊が地球人種でないとしたら雇用保険分でその上出火源である;
$facts$ = fact1: もしもその点鼻薬が励み為さらないとするとそれはトレーニング前でない fact2: もしも搬送路が地球人種だとすればあの点鼻薬は励み為さらない fact3: 何かは計測・計算する fact4: もし仮にその点鼻薬はけたたましいがトレーニング前だということはないならば鬱屈しない fact5: この加賀艦攻隊が出火源であるとすればこの養成は地球人種でない fact6: あの任用は地球人種でない fact7: もし仮に「この加賀艦攻隊は雇用保険分であるけど出火源でない」ということは成り立たないならば「この養成は地球人種でない」ということは誤っていない fact8: 「計測・計算しない」ものはあるとすると「この加賀艦攻隊が雇用保険分だけどそれは出火源でない」ということは成り立たない fact9: とあるものは励み為さらない fact10: もしこの養成が地球人種でないとすればあの任用は搬送路だがしかし地球人種でない fact11: なにかは励み為さらないなら「それはトレーニング前でない」ということは事実である fact12: もし搬送路は地球人種でないとしたら「その点鼻薬は励み為さらない」ということは確かである fact13: 「地球人種でない」ものはある fact14: もしも「計測・計算しない」ものはあるとすれば「この加賀艦攻隊は雇用保険分であるしさらに出火源だ」ということは偽だ fact15: その点鼻薬はトレーニング前でない fact16: 仮にとあるものは地球人種でないとしたらそれは雇用保険分であるしそれに出火源である fact17: なにがしかのものは計測・計算しない fact18: もし仮にあるものが励み為さらないならけたたましくてトレーニング前でない ; $hypothesis$ = 「その点鼻薬は鬱屈する」ということは確かである ; $proof$ = 
fact17 & fact8 -> int1: 「この加賀艦攻隊は雇用保険分だが出火源だということはない」ということは嘘だ; int1 & fact7 -> int2: この養成は地球人種でない; int2 & fact10 -> int3: あの任用は搬送路であるが地球人種であるということはない; int3 -> int4: 「搬送路であるしおまけに地球人種でない」ものはある; int4 & fact12 -> int5: 「その点鼻薬は励み為さらない」ということは成り立つ; fact18 -> int6: もしもその点鼻薬が励み為さらないとしたらそれはけたたましいしおまけにトレーニング前でない; int5 & int6 -> int7: その点鼻薬はけたたましいけれどトレーニング前でない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもその点鼻薬が励み為さらないとするとそれはトレーニング前でない
事実2: もしも搬送路が地球人種だとすればあの点鼻薬は励み為さらない
事実3: 何かは計測・計算する
事実4: もし仮にその点鼻薬はけたたましいがトレーニング前だということはないならば鬱屈しない
事実5: この加賀艦攻隊が出火源であるとすればこの養成は地球人種でない
事実6: あの任用は地球人種でない
事実7: もし仮に「この加賀艦攻隊は雇用保険分であるけど出火源でない」ということは成り立たないならば「この養成は地球人種でない」ということは誤っていない
事実8: 「計測・計算しない」ものはあるとすると「この加賀艦攻隊が雇用保険分だけどそれは出火源でない」ということは成り立たない
事実9: とあるものは励み為さらない
事実10: もしこの養成が地球人種でないとすればあの任用は搬送路だがしかし地球人種でない
事実11: なにかは励み為さらないなら「それはトレーニング前でない」ということは事実である
事実12: もし搬送路は地球人種でないとしたら「その点鼻薬は励み為さらない」ということは確かである
事実13: 「地球人種でない」ものはある
事実14: もしも「計測・計算しない」ものはあるとすれば「この加賀艦攻隊は雇用保険分であるしさらに出火源だ」ということは偽だ
事実15: その点鼻薬はトレーニング前でない
事実16: 仮にとあるものは地球人種でないとしたらそれは雇用保険分であるしそれに出火源である
事実17: なにがしかのものは計測・計算しない
事実18: もし仮にあるものが励み為さらないならけたたましくてトレーニング前でない

仮説: 「その点鼻薬は鬱屈する」ということは確かである
1. 事実17と事実8から、推論1: "「この加賀艦攻隊は雇用保険分だが出火源だということはない」ということは嘘だ"が導かれる
2. 推論1と事実7から、推論2: "この養成は地球人種でない"が導かれる
3. 推論2と事実10から、推論3: "あの任用は搬送路であるが地球人種であるということはない"が導かれる
4. 推論3から、推論4: "「搬送路であるしおまけに地球人種でない」ものはある"が導かれる
5. 推論4と事実12から、推論5: "「その点鼻薬は励み為さらない」ということは成り立つ"が導かれる
6. 事実18から、推論6: "もしもその点鼻薬が励み為さらないとしたらそれはけたたましいしおまけにトレーニング前でない"が導かれる
7. 推論5と推論6から、推論7: "その点鼻薬はけたたましいけれどトレーニング前でない"が導かれる
8. 推論7と事実4から、仮説が否定される

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