「その一般化は感じ入るしそれはネイティブらしい」ということは事実だということはない
fact1: 仮にこの回数は短くないとすると「その一般化は感じ入るしおまけにネイティブらしい」ということは成り立たない fact2: 「この帆桁は短くないがしかし吸収され易い」ということは確かである fact3: もしある物が短くないけど吸収され易いとすればあの回数は感じ入らない fact4: この回数が感じ入らないならその一般化は感じ入るししかもネイティブらしい fact5: その一般化はネイティブらしい fact6: 「四時過ぎでない」ものはある fact7: 仮にこの回数が感じ入らないとしたらその一般化はネイティブらしい fact8: この帆桁は短くない fact9: その一般化は上接しないがしかしそれは付け難い fact10: この回数は有り難くて語り尽くせる
fact2 -> int1: なにかは短くないがしかし吸収され易い; int1 & fact3 -> int2: この回数は感じ入らない; int2 & fact4 -> hypothesis;
fact2 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
「その一般化は感じ入るしネイティブらしい」ということは事実と異なる
$facts$ = fact1: 仮にこの回数は短くないとすると「その一般化は感じ入るしおまけにネイティブらしい」ということは成り立たない fact2: 「この帆桁は短くないがしかし吸収され易い」ということは確かである fact3: もしある物が短くないけど吸収され易いとすればあの回数は感じ入らない fact4: この回数が感じ入らないならその一般化は感じ入るししかもネイティブらしい fact5: その一般化はネイティブらしい fact6: 「四時過ぎでない」ものはある fact7: 仮にこの回数が感じ入らないとしたらその一般化はネイティブらしい fact8: この帆桁は短くない fact9: その一般化は上接しないがしかしそれは付け難い fact10: この回数は有り難くて語り尽くせる ; $hypothesis$ = 「その一般化は感じ入るしそれはネイティブらしい」ということは事実だということはない ; $proof$ = 
fact2 -> int1: なにかは短くないがしかし吸収され易い; int1 & fact3 -> int2: この回数は感じ入らない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこの回数は短くないとすると「その一般化は感じ入るしおまけにネイティブらしい」ということは成り立たない
事実2: 「この帆桁は短くないがしかし吸収され易い」ということは確かである
事実3: もしある物が短くないけど吸収され易いとすればあの回数は感じ入らない
事実4: この回数が感じ入らないならその一般化は感じ入るししかもネイティブらしい
事実5: その一般化はネイティブらしい
事実6: 「四時過ぎでない」ものはある
事実7: 仮にこの回数が感じ入らないとしたらその一般化はネイティブらしい
事実8: この帆桁は短くない
事実9: その一般化は上接しないがしかしそれは付け難い
事実10: この回数は有り難くて語り尽くせる

仮説: 「その一般化は感じ入るしそれはネイティブらしい」ということは事実だということはない
1. 事実2から、推論1: "なにかは短くないがしかし吸収され易い"が導かれる
2. 推論1と事実3から、推論2: "この回数は感じ入らない"が導かれる
3. 推論2と事実4から、仮説が否定される

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