「「あの落札は見えないし加えて御寒くない」ということは事実と異なる」ということは成り立つ
fact1: あのたわいは成り切らないけどそれは見える fact2: 御労しくないものは御寒くないし残留物でない fact3: その総合的研究は適さないし馬鹿でかくない fact4: あの落札は残留物でない一方で御労しい fact5: 御労しくない物は残留物でなくてまた御寒くない fact6: もしあの落札は見えないならば「踏み開くということはない」ということは本当だ fact7: あの落札が取り出し易くないとすればそれは御寒くない fact8: 「もし仮にあの落札が残留物でないとしたらあの落札は見えない」ということは正しい fact9: もし仮にあるものが子会社化しないとしたらそれは厳くない fact10: あの落札は平べったくなくて取っ付き易いということはない fact11: もし仮になにがしかの物が御労しくないならば見えるということはないし加えて御寒くない fact12: あの落札は毛深くないがしかし信頼出来る fact13: もしなにがしかのものは地中海世界でないならばそれは対抗しない fact14: 仮になんらかのものは残留物でないならばそれは見えるということはなくてしかも御寒くない fact15: もしあの落札がぷっくりしないならばそれは精神科診断でないし更に搾取分配しない fact16: もし仮に何らかの物はまあるくないとすると居辛くない fact17: あの落札はスワップ・レートでないけれど勿体無い
fact4 -> int1: あの落札は残留物でない; fact14 -> int2: 仮にあの落札が残留物だということはないならば見えないしさらに御寒くない; int1 & int2 -> hypothesis;
$facts$ = fact1: あのたわいは成り切らないけどそれは見える fact2: 御労しくないものは御寒くないし残留物でない fact3: その総合的研究は適さないし馬鹿でかくない fact4: あの落札は残留物でない一方で御労しい fact5: 御労しくない物は残留物でなくてまた御寒くない fact6: もしあの落札は見えないならば「踏み開くということはない」ということは本当だ fact7: あの落札が取り出し易くないとすればそれは御寒くない fact8: 「もし仮にあの落札が残留物でないとしたらあの落札は見えない」ということは正しい fact9: もし仮にあるものが子会社化しないとしたらそれは厳くない fact10: あの落札は平べったくなくて取っ付き易いということはない fact11: もし仮になにがしかの物が御労しくないならば見えるということはないし加えて御寒くない fact12: あの落札は毛深くないがしかし信頼出来る fact13: もしなにがしかのものは地中海世界でないならばそれは対抗しない fact14: 仮になんらかのものは残留物でないならばそれは見えるということはなくてしかも御寒くない fact15: もしあの落札がぷっくりしないならばそれは精神科診断でないし更に搾取分配しない fact16: もし仮に何らかの物はまあるくないとすると居辛くない fact17: あの落札はスワップ・レートでないけれど勿体無い ; $hypothesis$ = 「「あの落札は見えないし加えて御寒くない」ということは事実と異なる」ということは成り立つ ; $proof$ = 
fact4 -> int1: あの落札は残留物でない; fact14 -> int2: 仮にあの落札が残留物だということはないならば見えないしさらに御寒くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのたわいは成り切らないけどそれは見える
事実2: 御労しくないものは御寒くないし残留物でない
事実3: その総合的研究は適さないし馬鹿でかくない
事実4: あの落札は残留物でない一方で御労しい
事実5: 御労しくない物は残留物でなくてまた御寒くない
事実6: もしあの落札は見えないならば「踏み開くということはない」ということは本当だ
事実7: あの落札が取り出し易くないとすればそれは御寒くない
事実8: 「もし仮にあの落札が残留物でないとしたらあの落札は見えない」ということは正しい
事実9: もし仮にあるものが子会社化しないとしたらそれは厳くない
事実10: あの落札は平べったくなくて取っ付き易いということはない
事実11: もし仮になにがしかの物が御労しくないならば見えるということはないし加えて御寒くない
事実12: あの落札は毛深くないがしかし信頼出来る
事実13: もしなにがしかのものは地中海世界でないならばそれは対抗しない
事実14: 仮になんらかのものは残留物でないならばそれは見えるということはなくてしかも御寒くない
事実15: もしあの落札がぷっくりしないならばそれは精神科診断でないし更に搾取分配しない
事実16: もし仮に何らかの物はまあるくないとすると居辛くない
事実17: あの落札はスワップ・レートでないけれど勿体無い

仮説: 「「あの落札は見えないし加えて御寒くない」ということは事実と異なる」ということは成り立つ
1. 事実4から、推論1: "あの落札は残留物でない"が導かれる
2. 事実14から、推論2: "仮にあの落札が残留物だということはないならば見えないしさらに御寒くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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