「あのハンドセットは揮毫する」ということは本当だ
fact1: 「アセトアルデヒドでない」ものはある fact2: もしも「あるものは豪華本でないけどそれはアセトアルデヒドだ」ということは間違っているとするとアセトアルデヒドでない fact3: 仮にこの座長代理が処理条件だけど豪華本でないならばあのハンドセットは豪華本でない fact4: もし「「訝しい一方で発色しない」ということは誤っている」ものがあるならこの座長代理は訝しくない fact5: もし仮になにがしかのものがコンタギウムでないとするとその傾城はアセトアルデヒドでない fact6: 仮に「とあるものが司らないしさらに揮毫しない」ということは偽だとするとそれはアセトアルデヒドでない fact7: 訝しいということはない物は処理条件であるが豪華本でない fact8: 「すんごくない」物はある fact9: もしあのハンドセットは豪華本でないとすると「その傾城は司らないしかつそれは揮毫するということはない」ということは間違っている fact10: もしも「すんごくない」ものがあるとすればあの傾城はアセトアルデヒドでない fact11: 「その四連スロットルは訝しい一方で発色しない」ということは事実と異なる fact12: あるものは脱がす fact13: 「すんごくない」物があるならばあの傾城は自治意識である一方でアセトアルデヒドでない fact14: もしこの座長代理は司るとすれば「その傾城は豪華本でないがしかしアセトアルデヒドだ」ということは偽だ fact15: もしもなにがしかのものはすんごいなら「揮毫する」ということは確かだ fact16: もし「何かは自治意識だしすんごい」ということは成り立たないとしたら理論モデルでない fact17: もしその四連スロットルが惑わさないけれどそれが処理条件であるとしたらこの座長代理は処理条件でない fact18: 何らかの物はアセトアルデヒドでないとしたら「自治意識であるしかつすんごい」ということは事実と異なる fact19: あの本住居跡は自治意識だということはない fact20: もしなにかは処理条件でないとすれば司るししかも訝しい fact21: もしも自治意識がアセトアルデヒドであるとするとその傾城は揮毫しない fact22: もし「自治意識であるがアセトアルデヒドでない」物があるとするとあのハンドセットは揮毫しない fact23: 「ラインアップする」物はある
fact8 & fact13 -> int1: その傾城は自治意識だけどアセトアルデヒドだということはない; int1 -> int2: なんらかの物は自治意識だけどアセトアルデヒドだということはない; int2 & fact22 -> hypothesis;
「理論モデルでない」ものはある
fact28 -> int3: もし「その傾城は自治意識であるしまたすんごい」ということは事実と異なるとしたら理論モデルでない; fact25 -> int4: 仮に「その傾城はアセトアルデヒドでない」ということは事実ならば「自治意識だしそれにすんごい」ということは誤りだ; fact30 -> int5: もしも「その傾城は司らないし揮毫しない」ということは誤りならそれはアセトアルデヒドでない; fact31 -> int6: もし仮にこの座長代理が訝しいということはないならば処理条件でそれにそれは豪華本であるということはない; fact27 -> int7: 「「訝しいけれど発色しない」ということは誤りである」ものはある; int7 & fact26 -> int8: この座長代理は訝しくない; int6 & int8 -> int9: この座長代理は処理条件である一方で豪華本でない; fact29 & int9 -> int10: あのハンドセットは豪華本でない; fact24 & int10 -> int11: 「その傾城は司らないしそれは揮毫しない」ということは成り立たない; int5 & int11 -> int12: その傾城はアセトアルデヒドでない; int4 & int12 -> int13: 「その傾城は自治意識ですんごい」ということは確かであるということはない; int3 & int13 -> int14: その傾城は理論モデルでない; int14 -> hypothesis;
$facts$ = fact1: 「アセトアルデヒドでない」ものはある fact2: もしも「あるものは豪華本でないけどそれはアセトアルデヒドだ」ということは間違っているとするとアセトアルデヒドでない fact3: 仮にこの座長代理が処理条件だけど豪華本でないならばあのハンドセットは豪華本でない fact4: もし「「訝しい一方で発色しない」ということは誤っている」ものがあるならこの座長代理は訝しくない fact5: もし仮になにがしかのものがコンタギウムでないとするとその傾城はアセトアルデヒドでない fact6: 仮に「とあるものが司らないしさらに揮毫しない」ということは偽だとするとそれはアセトアルデヒドでない fact7: 訝しいということはない物は処理条件であるが豪華本でない fact8: 「すんごくない」物はある fact9: もしあのハンドセットは豪華本でないとすると「その傾城は司らないしかつそれは揮毫するということはない」ということは間違っている fact10: もしも「すんごくない」ものがあるとすればあの傾城はアセトアルデヒドでない fact11: 「その四連スロットルは訝しい一方で発色しない」ということは事実と異なる fact12: あるものは脱がす fact13: 「すんごくない」物があるならばあの傾城は自治意識である一方でアセトアルデヒドでない fact14: もしこの座長代理は司るとすれば「その傾城は豪華本でないがしかしアセトアルデヒドだ」ということは偽だ fact15: もしもなにがしかのものはすんごいなら「揮毫する」ということは確かだ fact16: もし「何かは自治意識だしすんごい」ということは成り立たないとしたら理論モデルでない fact17: もしその四連スロットルが惑わさないけれどそれが処理条件であるとしたらこの座長代理は処理条件でない fact18: 何らかの物はアセトアルデヒドでないとしたら「自治意識であるしかつすんごい」ということは事実と異なる fact19: あの本住居跡は自治意識だということはない fact20: もしなにかは処理条件でないとすれば司るししかも訝しい fact21: もしも自治意識がアセトアルデヒドであるとするとその傾城は揮毫しない fact22: もし「自治意識であるがアセトアルデヒドでない」物があるとするとあのハンドセットは揮毫しない fact23: 「ラインアップする」物はある ; $hypothesis$ = 「あのハンドセットは揮毫する」ということは本当だ ; $proof$ = 
fact8 & fact13 -> int1: その傾城は自治意識だけどアセトアルデヒドだということはない; int1 -> int2: なんらかの物は自治意識だけどアセトアルデヒドだということはない; int2 & fact22 -> hypothesis; __DISPROVED__
事実1: 「アセトアルデヒドでない」ものはある
事実2: もしも「あるものは豪華本でないけどそれはアセトアルデヒドだ」ということは間違っているとするとアセトアルデヒドでない
事実3: 仮にこの座長代理が処理条件だけど豪華本でないならばあのハンドセットは豪華本でない
事実4: もし「「訝しい一方で発色しない」ということは誤っている」ものがあるならこの座長代理は訝しくない
事実5: もし仮になにがしかのものがコンタギウムでないとするとその傾城はアセトアルデヒドでない
事実6: 仮に「とあるものが司らないしさらに揮毫しない」ということは偽だとするとそれはアセトアルデヒドでない
事実7: 訝しいということはない物は処理条件であるが豪華本でない
事実8: 「すんごくない」物はある
事実9: もしあのハンドセットは豪華本でないとすると「その傾城は司らないしかつそれは揮毫するということはない」ということは間違っている
事実10: もしも「すんごくない」ものがあるとすればあの傾城はアセトアルデヒドでない
事実11: 「その四連スロットルは訝しい一方で発色しない」ということは事実と異なる
事実12: あるものは脱がす
事実13: 「すんごくない」物があるならばあの傾城は自治意識である一方でアセトアルデヒドでない
事実14: もしこの座長代理は司るとすれば「その傾城は豪華本でないがしかしアセトアルデヒドだ」ということは偽だ
事実15: もしもなにがしかのものはすんごいなら「揮毫する」ということは確かだ
事実16: もし「何かは自治意識だしすんごい」ということは成り立たないとしたら理論モデルでない
事実17: もしその四連スロットルが惑わさないけれどそれが処理条件であるとしたらこの座長代理は処理条件でない
事実18: 何らかの物はアセトアルデヒドでないとしたら「自治意識であるしかつすんごい」ということは事実と異なる
事実19: あの本住居跡は自治意識だということはない
事実20: もしなにかは処理条件でないとすれば司るししかも訝しい
事実21: もしも自治意識がアセトアルデヒドであるとするとその傾城は揮毫しない
事実22: もし「自治意識であるがアセトアルデヒドでない」物があるとするとあのハンドセットは揮毫しない
事実23: 「ラインアップする」物はある

仮説: 「あのハンドセットは揮毫する」ということは本当だ
1. 事実8と事実13から、推論1: "その傾城は自治意識だけどアセトアルデヒドだということはない"が導かれる
2. 推論1から、推論2: "なんらかの物は自治意識だけどアセトアルデヒドだということはない"が導かれる
3. 推論2と事実22から、仮説が否定される

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