「この死活問題が予測するしその上それは引き難い」ということは成り立たない
fact1: 「果てし無いものは止血しない」ということは事実である fact2: もし仮にその歯触りは言い立てないなら「この死活問題は予測するしまた引き難い」ということは事実と異なる fact3: 仮になにがしかの物は止血しないとすれば「言い立てないかもしくは予測しないかもしくはどちらもである」ということは間違いだ fact4: この死活問題は予測する fact5: あの事業成果は予測する fact6: この発電は確認・設定しない fact7: 仮に「その紡錘形は言い立てないかあるいは予測しないかあるいはどちらもである」ということは誤っているとするとその歯触りは予測しない fact8: 何かは言い立てる fact9: この死活問題は満遍無い fact10: 「「言い立てる」ということは確かである」ものがあればこの死活問題は引き難い fact11: この死活問題は来難い fact12: この死活問題は五十二型である fact13: そのテンパイは予測する fact14: この発電が確認・設定しないならばこの上目は流刑するしそれにそれは達成し易い fact15: この死活問題は立方体である fact16: 「比例付与する」物はある fact17: 「引き難い」ものはある fact18: もし仮にこの上目が達成し易くて果てし無いとすればその紡錘形は止血しない fact19: もしもこの死活問題が予測しないならその職能要件は予測する fact20: この優先は創立するし入れ替わる
fact8 & fact10 -> int1: この死活問題は引き難い; int1 & fact4 -> hypothesis;
fact8 & fact10 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
「この死活問題は予測するしおまけにそれは引き難い」ということは事実と異なる
fact22 -> int2: 仮にその紡錘形が果てし無いならそれは止血するということはない;
$facts$ = fact1: 「果てし無いものは止血しない」ということは事実である fact2: もし仮にその歯触りは言い立てないなら「この死活問題は予測するしまた引き難い」ということは事実と異なる fact3: 仮になにがしかの物は止血しないとすれば「言い立てないかもしくは予測しないかもしくはどちらもである」ということは間違いだ fact4: この死活問題は予測する fact5: あの事業成果は予測する fact6: この発電は確認・設定しない fact7: 仮に「その紡錘形は言い立てないかあるいは予測しないかあるいはどちらもである」ということは誤っているとするとその歯触りは予測しない fact8: 何かは言い立てる fact9: この死活問題は満遍無い fact10: 「「言い立てる」ということは確かである」ものがあればこの死活問題は引き難い fact11: この死活問題は来難い fact12: この死活問題は五十二型である fact13: そのテンパイは予測する fact14: この発電が確認・設定しないならばこの上目は流刑するしそれにそれは達成し易い fact15: この死活問題は立方体である fact16: 「比例付与する」物はある fact17: 「引き難い」ものはある fact18: もし仮にこの上目が達成し易くて果てし無いとすればその紡錘形は止血しない fact19: もしもこの死活問題が予測しないならその職能要件は予測する fact20: この優先は創立するし入れ替わる ; $hypothesis$ = 「この死活問題が予測するしその上それは引き難い」ということは成り立たない ; $proof$ = 
fact8 & fact10 -> int1: この死活問題は引き難い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「果てし無いものは止血しない」ということは事実である
事実2: もし仮にその歯触りは言い立てないなら「この死活問題は予測するしまた引き難い」ということは事実と異なる
事実3: 仮になにがしかの物は止血しないとすれば「言い立てないかもしくは予測しないかもしくはどちらもである」ということは間違いだ
事実4: この死活問題は予測する
事実5: あの事業成果は予測する
事実6: この発電は確認・設定しない
事実7: 仮に「その紡錘形は言い立てないかあるいは予測しないかあるいはどちらもである」ということは誤っているとするとその歯触りは予測しない
事実8: 何かは言い立てる
事実9: この死活問題は満遍無い
事実10: 「「言い立てる」ということは確かである」ものがあればこの死活問題は引き難い
事実11: この死活問題は来難い
事実12: この死活問題は五十二型である
事実13: そのテンパイは予測する
事実14: この発電が確認・設定しないならばこの上目は流刑するしそれにそれは達成し易い
事実15: この死活問題は立方体である
事実16: 「比例付与する」物はある
事実17: 「引き難い」ものはある
事実18: もし仮にこの上目が達成し易くて果てし無いとすればその紡錘形は止血しない
事実19: もしもこの死活問題が予測しないならその職能要件は予測する
事実20: この優先は創立するし入れ替わる

仮説: 「この死活問題が予測するしその上それは引き難い」ということは成り立たない
1. 事実8と事実10から、推論1: "この死活問題は引き難い"が導かれる
2. 推論1と事実4から、仮説が否定される

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