あの晋代は継続し難いが寒過ぎない
fact1: あの四両編成は採集する fact2: この手形金請求は採集する fact3: 仮に「あの晋代は猛々しいということはなくておまけに変え得ない」ということは本当でないとするとレコード数でない fact4: もし仮にある物が採集するとすればそれは継続し難いが寒過ぎない fact5: もしも何かは確認し易くないとすれば採集するし加えて推認出来る fact6: 「あの晋代は継続し難いしそれは寒過ぎる」ということは成り立たない fact7: もしもあの四両編成は採集すれば「あの晋代は継続し難いけれど寒過ぎない」ということは偽である fact8: 仮になにがしかのものがレコード数でないとすればそれは色相・彩度であるがしかし確認し易くない
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
あの晋代は継続し難いが寒過ぎない
fact9 -> int1: あの晋代が採集するならそれは継続し難いし寒過ぎるということはない; fact10 -> int2: 仮にあの晋代が確認し易くないとしたらそれは採集するしそれは推認出来る; fact11 -> int3: 仮にあの晋代はレコード数でないとすると色相・彩度だが確認し易くない;
$facts$ = fact1: あの四両編成は採集する fact2: この手形金請求は採集する fact3: 仮に「あの晋代は猛々しいということはなくておまけに変え得ない」ということは本当でないとするとレコード数でない fact4: もし仮にある物が採集するとすればそれは継続し難いが寒過ぎない fact5: もしも何かは確認し易くないとすれば採集するし加えて推認出来る fact6: 「あの晋代は継続し難いしそれは寒過ぎる」ということは成り立たない fact7: もしもあの四両編成は採集すれば「あの晋代は継続し難いけれど寒過ぎない」ということは偽である fact8: 仮になにがしかのものがレコード数でないとすればそれは色相・彩度であるがしかし確認し易くない ; $hypothesis$ = あの晋代は継続し難いが寒過ぎない ; $proof$ = 
fact7 & fact1 -> hypothesis; __DISPROVED__
事実1: あの四両編成は採集する
事実2: この手形金請求は採集する
事実3: 仮に「あの晋代は猛々しいということはなくておまけに変え得ない」ということは本当でないとするとレコード数でない
事実4: もし仮にある物が採集するとすればそれは継続し難いが寒過ぎない
事実5: もしも何かは確認し易くないとすれば採集するし加えて推認出来る
事実6: 「あの晋代は継続し難いしそれは寒過ぎる」ということは成り立たない
事実7: もしもあの四両編成は採集すれば「あの晋代は継続し難いけれど寒過ぎない」ということは偽である
事実8: 仮になにがしかのものがレコード数でないとすればそれは色相・彩度であるがしかし確認し易くない

仮説: あの晋代は継続し難いが寒過ぎない
1. 事実7と事実1から、仮説が否定される

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