あの膵頭部は船出するということはない
fact1: もし「なにがしかのものは粘り強くないけれど発射音だ」ということは成り立たないなら発射音でない fact2: 仮になにがしかの物がＴＯＤＯでないかあるいはそれは入所者であるかあるいは両方ともだとしたらそれはＴＯＤＯでない fact3: あの膵頭部は発射音である fact4: この男性経験が船出すればあの膵頭部は発射音である fact5: 「この男性経験は発射音である」ということは成り立つ fact6: もしこの男性経験が発射音だとするとあの膵頭部は船出する fact7: もしこの総括が恭しいなら当て付けがましい fact8: あの膵頭部が発射音だとしたらこの男性経験は船出する fact9: もしもこの総括が当て付けがましいとすればこのピッチは入所者であるけれど浪人しない fact10: もし仮にそのＨＯテルはＴＯＤＯでないならば「「この男性経験は粘り強いということはないけど発射音だ」ということは間違っている」ということは確かである fact11: もしこのピッチが入所者だけれど浪人しないとするとそのＨＯテルは入所者だ fact12: 「あの膵頭部は取り扱い易い」ということは成り立つ fact13: その累進税率は発射音である
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
あの膵頭部は船出しない
fact18 -> int1: 仮に「この男性経験は粘り強いということはないが発射音だ」ということは成り立たないならばそれは発射音だということはない; fact16 -> int2: もしもそのＨＯテルがＴＯＤＯでないかそれは入所者であるか両方だとすればＴＯＤＯでない;
$facts$ = fact1: もし「なにがしかのものは粘り強くないけれど発射音だ」ということは成り立たないなら発射音でない fact2: 仮になにがしかの物がＴＯＤＯでないかあるいはそれは入所者であるかあるいは両方ともだとしたらそれはＴＯＤＯでない fact3: あの膵頭部は発射音である fact4: この男性経験が船出すればあの膵頭部は発射音である fact5: 「この男性経験は発射音である」ということは成り立つ fact6: もしこの男性経験が発射音だとするとあの膵頭部は船出する fact7: もしこの総括が恭しいなら当て付けがましい fact8: あの膵頭部が発射音だとしたらこの男性経験は船出する fact9: もしもこの総括が当て付けがましいとすればこのピッチは入所者であるけれど浪人しない fact10: もし仮にそのＨＯテルはＴＯＤＯでないならば「「この男性経験は粘り強いということはないけど発射音だ」ということは間違っている」ということは確かである fact11: もしこのピッチが入所者だけれど浪人しないとするとそのＨＯテルは入所者だ fact12: 「あの膵頭部は取り扱い易い」ということは成り立つ fact13: その累進税率は発射音である ; $hypothesis$ = あの膵頭部は船出するということはない ; $proof$ = 
fact6 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは粘り強くないけれど発射音だ」ということは成り立たないなら発射音でない
事実2: 仮になにがしかの物がＴＯＤＯでないかあるいはそれは入所者であるかあるいは両方ともだとしたらそれはＴＯＤＯでない
事実3: あの膵頭部は発射音である
事実4: この男性経験が船出すればあの膵頭部は発射音である
事実5: 「この男性経験は発射音である」ということは成り立つ
事実6: もしこの男性経験が発射音だとするとあの膵頭部は船出する
事実7: もしこの総括が恭しいなら当て付けがましい
事実8: あの膵頭部が発射音だとしたらこの男性経験は船出する
事実9: もしもこの総括が当て付けがましいとすればこのピッチは入所者であるけれど浪人しない
事実10: もし仮にそのＨＯテルはＴＯＤＯでないならば「「この男性経験は粘り強いということはないけど発射音だ」ということは間違っている」ということは確かである
事実11: もしこのピッチが入所者だけれど浪人しないとするとそのＨＯテルは入所者だ
事実12: 「あの膵頭部は取り扱い易い」ということは成り立つ
事実13: その累進税率は発射音である

仮説: あの膵頭部は船出するということはない
1. 事実6と事実5から、仮説が否定される

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