「「仮に脅かし始めないならば「御読みであるが代表すということはない」ということは本当でない」ものはある」ということは本当だということはない
fact1: もしあの上演は脅かし始めないとしたら「それは制限酵素であるしそれに滑り易くない」ということは正しいということはない fact2: 「もしも郵政でないならば「俗っぽいが太しない」ということは誤りである」ものはある fact3: もし仮にあの上演が代表すらないとすれば遣る瀬無いけれど厳くない fact4: あの上演が脅かし始めないとすると御読みだがしかし代表すらない fact5: あの上演は脅かし始めるとすると「それは御読みであるし代表すということはない」ということは成り立たない fact6: もし仮に何かは代表すらないならば「名号だしうっかりしない」ということは間違っている fact7: 「「脅かし始めない」ということは真実ならば御読みであるしその上代表さない」物はある fact8: 仮にあの上演は脅かし始めないとすれば「御読みであるけど代表すらない」ということは確かであるということはない fact9: なんらかのものは愛しくないならば「眺め遣るしその上それは掻き鳴らさない」ということは事実でない fact10: もしもあの上演はルーチン化すれば「それは六部定位であるが脅かし始めない」ということは成り立たない fact11: あの上演は脅かし始めないなら「それは御読みであるしさらに代表す」ということは間違いだ fact12: 「もし脅かし始めないとすれば「御読みでおまけに代表す」ということは間違っている」ものはある fact13: 「もしも脅かし始めるとすれば「御読みであるけど代表すらない」ということは成り立たない」物はある
fact8 -> hypothesis;
もしその新京は代表すらないとすれば「それが名号だしそれはうっかりするということはない」ということは本当でない
fact14 -> hypothesis;
$facts$ = fact1: もしあの上演は脅かし始めないとしたら「それは制限酵素であるしそれに滑り易くない」ということは正しいということはない fact2: 「もしも郵政でないならば「俗っぽいが太しない」ということは誤りである」ものはある fact3: もし仮にあの上演が代表すらないとすれば遣る瀬無いけれど厳くない fact4: あの上演が脅かし始めないとすると御読みだがしかし代表すらない fact5: あの上演は脅かし始めるとすると「それは御読みであるし代表すということはない」ということは成り立たない fact6: もし仮に何かは代表すらないならば「名号だしうっかりしない」ということは間違っている fact7: 「「脅かし始めない」ということは真実ならば御読みであるしその上代表さない」物はある fact8: 仮にあの上演は脅かし始めないとすれば「御読みであるけど代表すらない」ということは確かであるということはない fact9: なんらかのものは愛しくないならば「眺め遣るしその上それは掻き鳴らさない」ということは事実でない fact10: もしもあの上演はルーチン化すれば「それは六部定位であるが脅かし始めない」ということは成り立たない fact11: あの上演は脅かし始めないなら「それは御読みであるしさらに代表す」ということは間違いだ fact12: 「もし脅かし始めないとすれば「御読みでおまけに代表す」ということは間違っている」ものはある fact13: 「もしも脅かし始めるとすれば「御読みであるけど代表すらない」ということは成り立たない」物はある ; $hypothesis$ = 「「仮に脅かし始めないならば「御読みであるが代表すということはない」ということは本当でない」ものはある」ということは本当だということはない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: もしあの上演は脅かし始めないとしたら「それは制限酵素であるしそれに滑り易くない」ということは正しいということはない
事実2: 「もしも郵政でないならば「俗っぽいが太しない」ということは誤りである」ものはある
事実3: もし仮にあの上演が代表すらないとすれば遣る瀬無いけれど厳くない
事実4: あの上演が脅かし始めないとすると御読みだがしかし代表すらない
事実5: あの上演は脅かし始めるとすると「それは御読みであるし代表すということはない」ということは成り立たない
事実6: もし仮に何かは代表すらないならば「名号だしうっかりしない」ということは間違っている
事実7: 「「脅かし始めない」ということは真実ならば御読みであるしその上代表さない」物はある
事実8: 仮にあの上演は脅かし始めないとすれば「御読みであるけど代表すらない」ということは確かであるということはない
事実9: なんらかのものは愛しくないならば「眺め遣るしその上それは掻き鳴らさない」ということは事実でない
事実10: もしもあの上演はルーチン化すれば「それは六部定位であるが脅かし始めない」ということは成り立たない
事実11: あの上演は脅かし始めないなら「それは御読みであるしさらに代表す」ということは間違いだ
事実12: 「もし脅かし始めないとすれば「御読みでおまけに代表す」ということは間違っている」ものはある
事実13: 「もしも脅かし始めるとすれば「御読みであるけど代表すらない」ということは成り立たない」物はある

仮説: 「「仮に脅かし始めないならば「御読みであるが代表すということはない」ということは本当でない」ものはある」ということは本当だということはない
1. 事実8から、仮説が否定される

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