このホモエレクトスは応じ得るということはない
fact1: もし「なんらかのものは再生リストであるし加えて応じ得る」ということは誤りであるとすればそれは応じ得ない fact2: 仮に「「再雇用しないししかも反応型でない」ということは間違っている」ものはあれば「このホモエレクトスは応じ得る」ということは成り立つ fact3: もし「「退色し易いということはなくて興味深いということはない」ということは成り立たない」ものがあるとするとあの全臓器は反応型だ fact4: もしなにがしかの物が反応型であるとすればこのホモエレクトスは応じ得る fact5: 「「混入し易くないしかつ愛しくない」ということは成り立たない」ものはある fact6: 「「再雇用しないしおまけに反応型でない」ということは正しくない」物はある
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
このホモエレクトスは応じ得るということはない
fact7 -> int1: もし「このホモエレクトスは再生リストで応じ得る」ということは間違っているなら応じ得ない;
$facts$ = fact1: もし「なんらかのものは再生リストであるし加えて応じ得る」ということは誤りであるとすればそれは応じ得ない fact2: 仮に「「再雇用しないししかも反応型でない」ということは間違っている」ものはあれば「このホモエレクトスは応じ得る」ということは成り立つ fact3: もし「「退色し易いということはなくて興味深いということはない」ということは成り立たない」ものがあるとするとあの全臓器は反応型だ fact4: もしなにがしかの物が反応型であるとすればこのホモエレクトスは応じ得る fact5: 「「混入し易くないしかつ愛しくない」ということは成り立たない」ものはある fact6: 「「再雇用しないしおまけに反応型でない」ということは正しくない」物はある ; $hypothesis$ = このホモエレクトスは応じ得るということはない ; $proof$ = 
fact6 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「なんらかのものは再生リストであるし加えて応じ得る」ということは誤りであるとすればそれは応じ得ない
事実2: 仮に「「再雇用しないししかも反応型でない」ということは間違っている」ものはあれば「このホモエレクトスは応じ得る」ということは成り立つ
事実3: もし「「退色し易いということはなくて興味深いということはない」ということは成り立たない」ものがあるとするとあの全臓器は反応型だ
事実4: もしなにがしかの物が反応型であるとすればこのホモエレクトスは応じ得る
事実5: 「「混入し易くないしかつ愛しくない」ということは成り立たない」ものはある
事実6: 「「再雇用しないしおまけに反応型でない」ということは正しくない」物はある

仮説: このホモエレクトスは応じ得るということはない
1. 事実6と事実2から、仮説が否定される

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