あのシーズは逆コースであるが懐かしいということはない
fact1: もしこの本件特許は借り切らないとすれば「あのシーズは逆コースであるがしかし懐かしくない」ということは成り立たない fact2: 「あの開眼は抱き締めないけど長い」ということは偽だとすればこの本件特許は借り切らない fact3: 「この本件特許は借り切らないけれど抱き締める」ということは偽である fact4: もしもその御召し列車は長いとしたら「あの開眼は抱き締めないがしかし長い」ということは成り立たない fact5: 「その御召し列車は尽くし難いけれど近しくない」ということは偽だ fact6: 「あの開眼は抱き締めるしかつ借り切る」ということは成り立たない fact7: もし「その御召し列車は尽くし難いが近しいということはない」ということは偽であるならばそれは借り切る fact8: その御召し列車は明くしその上長い fact9: 仮にある物が借り切るならそれは抱き締めるし懐かしくない
fact8 -> int1: その御召し列車は長い; int1 & fact4 -> int2: 「あの開眼は抱き締めるということはないけれど長い」ということは誤っている; int2 & fact2 -> int3: この本件特許は借り切らない; int3 & fact1 -> hypothesis;
あのシーズは逆コースである一方で懐かしくない
fact11 -> int4: もしその御召し列車が借り切るとしたら抱き締めるけど懐かしくない; fact12 & fact10 -> int5: 「「その御召し列車は借り切らない」ということは成り立つ」ということは偽だ; int4 & int5 -> int6: その御召し列車は抱き締める一方でそれは懐かしくない;
$facts$ = fact1: もしこの本件特許は借り切らないとすれば「あのシーズは逆コースであるがしかし懐かしくない」ということは成り立たない fact2: 「あの開眼は抱き締めないけど長い」ということは偽だとすればこの本件特許は借り切らない fact3: 「この本件特許は借り切らないけれど抱き締める」ということは偽である fact4: もしもその御召し列車は長いとしたら「あの開眼は抱き締めないがしかし長い」ということは成り立たない fact5: 「その御召し列車は尽くし難いけれど近しくない」ということは偽だ fact6: 「あの開眼は抱き締めるしかつ借り切る」ということは成り立たない fact7: もし「その御召し列車は尽くし難いが近しいということはない」ということは偽であるならばそれは借り切る fact8: その御召し列車は明くしその上長い fact9: 仮にある物が借り切るならそれは抱き締めるし懐かしくない ; $hypothesis$ = あのシーズは逆コースであるが懐かしいということはない ; $proof$ = 
fact8 -> int1: その御召し列車は長い; int1 & fact4 -> int2: 「あの開眼は抱き締めるということはないけれど長い」ということは誤っている; int2 & fact2 -> int3: この本件特許は借り切らない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの本件特許は借り切らないとすれば「あのシーズは逆コースであるがしかし懐かしくない」ということは成り立たない
事実2: 「あの開眼は抱き締めないけど長い」ということは偽だとすればこの本件特許は借り切らない
事実3: 「この本件特許は借り切らないけれど抱き締める」ということは偽である
事実4: もしもその御召し列車は長いとしたら「あの開眼は抱き締めないがしかし長い」ということは成り立たない
事実5: 「その御召し列車は尽くし難いけれど近しくない」ということは偽だ
事実6: 「あの開眼は抱き締めるしかつ借り切る」ということは成り立たない
事実7: もし「その御召し列車は尽くし難いが近しいということはない」ということは偽であるならばそれは借り切る
事実8: その御召し列車は明くしその上長い
事実9: 仮にある物が借り切るならそれは抱き締めるし懐かしくない

仮説: あのシーズは逆コースであるが懐かしいということはない
1. 事実8から、推論1: "その御召し列車は長い"が導かれる
2. 推論1と事実4から、推論2: "「あの開眼は抱き締めるということはないけれど長い」ということは誤っている"が導かれる
3. 推論2と事実2から、推論3: "この本件特許は借り切らない"が導かれる
4. 推論3と事実1から、仮説が否定される

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