あの洋種系統は考慮しない
fact1: もし「その結合利潤は言い合える」ということは本当なら「あの洋種系統は抜け替わるけど認め難くない」ということは間違っている fact2: なにがしかのものはランチボックスでない fact3: あのフリンジはめでたいがしかしそれは準用しない fact4: あのエジプト人達が初々しかないとしたらその結合利潤は旧登記所だしその上保存・反映する fact5: 「あのクローム・鍍金は認め難くない」ということは真実だ fact6: 「「認め難くない」ということは成り立つ」ものはある fact7: もしあの洋種系統が抜け替わらないとしたらこの印紙代は抜け替わらない fact8: もしもその結合利潤は旧登記所ならば「あの洋種系統は考慮しない一方で言い合える」ということは本当でない fact9: もしも「考慮しないし更に認め難くない」ものはあるとすれば「あの洋種系統は抜け替わる」ということは成り立つ fact10: 仮に「なにがしかの物は抜け替わるけどそれは認め難くない」ということは間違っているとすれば考慮しない fact11: あのクローム・鍍金は抜け替わるということはないしかつ認め難くない fact12: もしもなんらかのものは抜け替わらなくて認め難くないとしたら「あの洋種系統は考慮する」ということは成り立つ fact13: あるものが抜け替わらないならそれは営利行為でなくて更にそれは認め難いということはない fact14: もしあるものが抜け替わらないが認め難いとするとあの洋種系統は考慮する fact15: もし仮になんらかの物は旧登記所であるということはないとすればそれは言い合えるかまたは保存・反映するかまたは両方だ fact16: 「抜け替わるけど認め難くない」ものはある
fact11 -> int1: 「抜け替わらなくて認め難いということはない」物はある; int1 & fact12 -> hypothesis;
fact11 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact12 -> hypothesis;
あの洋種系統は考慮しない
fact17 -> int2: もしも「あの洋種系統は抜け替わるけど認め難くない」ということは嘘であるとすればそれは考慮するということはない; fact19 -> int3: あのエジプト人達は旧登記所でないとしたら言い合えるかあるいは保存・反映する;
$facts$ = fact1: もし「その結合利潤は言い合える」ということは本当なら「あの洋種系統は抜け替わるけど認め難くない」ということは間違っている fact2: なにがしかのものはランチボックスでない fact3: あのフリンジはめでたいがしかしそれは準用しない fact4: あのエジプト人達が初々しかないとしたらその結合利潤は旧登記所だしその上保存・反映する fact5: 「あのクローム・鍍金は認め難くない」ということは真実だ fact6: 「「認め難くない」ということは成り立つ」ものはある fact7: もしあの洋種系統が抜け替わらないとしたらこの印紙代は抜け替わらない fact8: もしもその結合利潤は旧登記所ならば「あの洋種系統は考慮しない一方で言い合える」ということは本当でない fact9: もしも「考慮しないし更に認め難くない」ものはあるとすれば「あの洋種系統は抜け替わる」ということは成り立つ fact10: 仮に「なにがしかの物は抜け替わるけどそれは認め難くない」ということは間違っているとすれば考慮しない fact11: あのクローム・鍍金は抜け替わるということはないしかつ認め難くない fact12: もしもなんらかのものは抜け替わらなくて認め難くないとしたら「あの洋種系統は考慮する」ということは成り立つ fact13: あるものが抜け替わらないならそれは営利行為でなくて更にそれは認め難いということはない fact14: もしあるものが抜け替わらないが認め難いとするとあの洋種系統は考慮する fact15: もし仮になんらかの物は旧登記所であるということはないとすればそれは言い合えるかまたは保存・反映するかまたは両方だ fact16: 「抜け替わるけど認め難くない」ものはある ; $hypothesis$ = あの洋種系統は考慮しない ; $proof$ = 
fact11 -> int1: 「抜け替わらなくて認め難いということはない」物はある; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もし「その結合利潤は言い合える」ということは本当なら「あの洋種系統は抜け替わるけど認め難くない」ということは間違っている
事実2: なにがしかのものはランチボックスでない
事実3: あのフリンジはめでたいがしかしそれは準用しない
事実4: あのエジプト人達が初々しかないとしたらその結合利潤は旧登記所だしその上保存・反映する
事実5: 「あのクローム・鍍金は認め難くない」ということは真実だ
事実6: 「「認め難くない」ということは成り立つ」ものはある
事実7: もしあの洋種系統が抜け替わらないとしたらこの印紙代は抜け替わらない
事実8: もしもその結合利潤は旧登記所ならば「あの洋種系統は考慮しない一方で言い合える」ということは本当でない
事実9: もしも「考慮しないし更に認め難くない」ものはあるとすれば「あの洋種系統は抜け替わる」ということは成り立つ
事実10: 仮に「なにがしかの物は抜け替わるけどそれは認め難くない」ということは間違っているとすれば考慮しない
事実11: あのクローム・鍍金は抜け替わるということはないしかつ認め難くない
事実12: もしもなんらかのものは抜け替わらなくて認め難くないとしたら「あの洋種系統は考慮する」ということは成り立つ
事実13: あるものが抜け替わらないならそれは営利行為でなくて更にそれは認め難いということはない
事実14: もしあるものが抜け替わらないが認め難いとするとあの洋種系統は考慮する
事実15: もし仮になんらかの物は旧登記所であるということはないとすればそれは言い合えるかまたは保存・反映するかまたは両方だ
事実16: 「抜け替わるけど認め難くない」ものはある

仮説: あの洋種系統は考慮しない
1. 事実11から、推論1: "「抜け替わらなくて認め難いということはない」物はある"が導かれる
2. 推論1と事実12から、仮説が否定される

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