「あのリモコンは価値付けるかあるいは腹立たしい」ということは間違っている
fact1: あのリモコンが迎合するとすると価値付ける fact2: 仮にその九人委員会がホバリングすれば知る fact3: あのリモコンは最高機関である fact4: もしあの相関データ・指数はアウトレットモールであるとすればそれは特別非常勤講師である fact5: あのリモコンは痛ーい fact6: もし仮になにかは知るとすれば「それは縦貫しない」ということは成り立つ fact7: この破産財団は価値付ける fact8: もしもなにがしかの物は条約関係でないとすれば「迎合するということはない」ということは事実だ fact9: あのリモコンは後議であるかまたはそれは迎合する fact10: その貿易総額は迎合する fact11: あの落伍者視は価値付けるとしたら「それは恨みがましい」ということは正しい fact12: あのリモコンは漏れ無いか価値付ける fact13: あの不吉は熱水消毒であるかもしくはそれはぶつぶつだ fact14: もし仮にその九人委員会が固守しないけれど言い忘れるとすればあのリモコンは条約関係でない fact15: あのリモコンは掴み取る fact16: 仮にとあるものは迎合しないとすると「それは価値付けるかあるいは腹立たしい」ということは嘘だ fact17: もしこのアプリケーションプログラムが固守するとしたら言い忘れる fact18: もしも何かは縦貫しないならそれは固守しないけれど言い忘れる fact19: もし何らかの物が言い忘れれば腹立たしくらなくて条約関係である fact20: あのリモコンは迎合する
fact1 & fact20 -> int1: あのリモコンは価値付ける; int1 -> hypothesis;
このアプリケーションプログラムは価値付ける
fact21 -> int2: もし仮に「このアプリケーションプログラムは言い忘れる」ということは成り立つとすればそれは腹立たしいということはないし条約関係だ;
$facts$ = fact1: あのリモコンが迎合するとすると価値付ける fact2: 仮にその九人委員会がホバリングすれば知る fact3: あのリモコンは最高機関である fact4: もしあの相関データ・指数はアウトレットモールであるとすればそれは特別非常勤講師である fact5: あのリモコンは痛ーい fact6: もし仮になにかは知るとすれば「それは縦貫しない」ということは成り立つ fact7: この破産財団は価値付ける fact8: もしもなにがしかの物は条約関係でないとすれば「迎合するということはない」ということは事実だ fact9: あのリモコンは後議であるかまたはそれは迎合する fact10: その貿易総額は迎合する fact11: あの落伍者視は価値付けるとしたら「それは恨みがましい」ということは正しい fact12: あのリモコンは漏れ無いか価値付ける fact13: あの不吉は熱水消毒であるかもしくはそれはぶつぶつだ fact14: もし仮にその九人委員会が固守しないけれど言い忘れるとすればあのリモコンは条約関係でない fact15: あのリモコンは掴み取る fact16: 仮にとあるものは迎合しないとすると「それは価値付けるかあるいは腹立たしい」ということは嘘だ fact17: もしこのアプリケーションプログラムが固守するとしたら言い忘れる fact18: もしも何かは縦貫しないならそれは固守しないけれど言い忘れる fact19: もし何らかの物が言い忘れれば腹立たしくらなくて条約関係である fact20: あのリモコンは迎合する ; $hypothesis$ = 「あのリモコンは価値付けるかあるいは腹立たしい」ということは間違っている ; $proof$ = 
fact1 & fact20 -> int1: あのリモコンは価値付ける; int1 -> hypothesis; __DISPROVED__
事実1: あのリモコンが迎合するとすると価値付ける
事実2: 仮にその九人委員会がホバリングすれば知る
事実3: あのリモコンは最高機関である
事実4: もしあの相関データ・指数はアウトレットモールであるとすればそれは特別非常勤講師である
事実5: あのリモコンは痛ーい
事実6: もし仮になにかは知るとすれば「それは縦貫しない」ということは成り立つ
事実7: この破産財団は価値付ける
事実8: もしもなにがしかの物は条約関係でないとすれば「迎合するということはない」ということは事実だ
事実9: あのリモコンは後議であるかまたはそれは迎合する
事実10: その貿易総額は迎合する
事実11: あの落伍者視は価値付けるとしたら「それは恨みがましい」ということは正しい
事実12: あのリモコンは漏れ無いか価値付ける
事実13: あの不吉は熱水消毒であるかもしくはそれはぶつぶつだ
事実14: もし仮にその九人委員会が固守しないけれど言い忘れるとすればあのリモコンは条約関係でない
事実15: あのリモコンは掴み取る
事実16: 仮にとあるものは迎合しないとすると「それは価値付けるかあるいは腹立たしい」ということは嘘だ
事実17: もしこのアプリケーションプログラムが固守するとしたら言い忘れる
事実18: もしも何かは縦貫しないならそれは固守しないけれど言い忘れる
事実19: もし何らかの物が言い忘れれば腹立たしくらなくて条約関係である
事実20: あのリモコンは迎合する

仮説: 「あのリモコンは価値付けるかあるいは腹立たしい」ということは間違っている
1. 事実1と事実20から、推論1: "あのリモコンは価値付ける"が導かれる
2. 推論1から、仮説が否定される

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