あの試験所は新登記所でない
fact1: もし仮に「あるものが言い易いということはないしさらに手練でない」ということは誤りだとすれば「返れない」ということは成り立つ fact2: もし仮になにかは呼び込めるということはないならそれは新登記所だ fact3: 言い易くないし更に溜まり易くない物はない fact4: あの試験所は悔しい fact5: 仮にあの試験所は溜まり易いとしたら「それは呼び込めるということはない」ということは間違いでない fact6: もしも何かは溜まり易いならば呼び込めるということはない fact7: もしも「何らかのものは商圏でなくておまけに転戦しない」ということは成り立たないとしたら抜け掛けるということはない fact8: 仮にあの試験所は選挙戦でないならばそれは溜まり易い fact9: もしも「何らかの物は言い易くないしまたそれは溜まり易くない」ということは誤っているとしたら呼び込めない
fact9 -> int1: もし仮に「あの試験所は言い易いということはなくてそれにそれは溜まり易くない」ということは嘘だとすればそれは呼び込めない; fact3 -> int2: 「あの試験所は言い易くないししかも溜まり易くない」ということは成り立たない; int1 & int2 -> int3: あの試験所は呼び込めない; fact2 -> int4: 仮にあの試験所が呼び込めないとすれば新登記所だ; int3 & int4 -> hypothesis;
もしも「そのインターシティーは言い易いということはないしさらに手練でない」ということは成り立つということはないとすると「返れない」ということは事実と異ならない
fact10 -> hypothesis;
$facts$ = fact1: もし仮に「あるものが言い易いということはないしさらに手練でない」ということは誤りだとすれば「返れない」ということは成り立つ fact2: もし仮になにかは呼び込めるということはないならそれは新登記所だ fact3: 言い易くないし更に溜まり易くない物はない fact4: あの試験所は悔しい fact5: 仮にあの試験所は溜まり易いとしたら「それは呼び込めるということはない」ということは間違いでない fact6: もしも何かは溜まり易いならば呼び込めるということはない fact7: もしも「何らかのものは商圏でなくておまけに転戦しない」ということは成り立たないとしたら抜け掛けるということはない fact8: 仮にあの試験所は選挙戦でないならばそれは溜まり易い fact9: もしも「何らかの物は言い易くないしまたそれは溜まり易くない」ということは誤っているとしたら呼び込めない ; $hypothesis$ = あの試験所は新登記所でない ; $proof$ = 
fact9 -> int1: もし仮に「あの試験所は言い易いということはなくてそれにそれは溜まり易くない」ということは嘘だとすればそれは呼び込めない; fact3 -> int2: 「あの試験所は言い易くないししかも溜まり易くない」ということは成り立たない; int1 & int2 -> int3: あの試験所は呼び込めない; fact2 -> int4: 仮にあの試験所が呼び込めないとすれば新登記所だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「あるものが言い易いということはないしさらに手練でない」ということは誤りだとすれば「返れない」ということは成り立つ
事実2: もし仮になにかは呼び込めるということはないならそれは新登記所だ
事実3: 言い易くないし更に溜まり易くない物はない
事実4: あの試験所は悔しい
事実5: 仮にあの試験所は溜まり易いとしたら「それは呼び込めるということはない」ということは間違いでない
事実6: もしも何かは溜まり易いならば呼び込めるということはない
事実7: もしも「何らかのものは商圏でなくておまけに転戦しない」ということは成り立たないとしたら抜け掛けるということはない
事実8: 仮にあの試験所は選挙戦でないならばそれは溜まり易い
事実9: もしも「何らかの物は言い易くないしまたそれは溜まり易くない」ということは誤っているとしたら呼び込めない

仮説: あの試験所は新登記所でない
1. 事実9から、推論1: "もし仮に「あの試験所は言い易いということはなくてそれにそれは溜まり易くない」ということは嘘だとすればそれは呼び込めない"が導かれる
2. 事実3から、推論2: "「あの試験所は言い易くないししかも溜まり易くない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "あの試験所は呼び込めない"が導かれる
4. 事実2から、推論4: "仮にあの試験所が呼び込めないとすれば新登記所だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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