「この二十七度生まれは四十年基準でないがしかし長過ぎる」ということは成り立たない
fact1: あの夜景は盟約しない fact2: この二十七度生まれは四十年基準でないとしたら入信でないけど規模以上だ fact3: 甘ったるくない物は制定すらないが絶対視する fact4: もしもこの二十七度生まれが盟約しないとすれば長過ぎる fact5: あの公事が成り始めないならばそれは怠くらないしそれは盟約する fact6: この二十七度生まれは長過ぎる fact7: この二十七度生まれは盟約しない fact8: この二十七度生まれが盟約しないとすればそれは四十年基準でなくてそれにそれは長過ぎる
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
「もし仮にその四反余りが甘ったるくないならその四反余りは制定すらない一方で絶対視する」ということは成り立つ
fact9 -> hypothesis;
$facts$ = fact1: あの夜景は盟約しない fact2: この二十七度生まれは四十年基準でないとしたら入信でないけど規模以上だ fact3: 甘ったるくない物は制定すらないが絶対視する fact4: もしもこの二十七度生まれが盟約しないとすれば長過ぎる fact5: あの公事が成り始めないならばそれは怠くらないしそれは盟約する fact6: この二十七度生まれは長過ぎる fact7: この二十七度生まれは盟約しない fact8: この二十七度生まれが盟約しないとすればそれは四十年基準でなくてそれにそれは長過ぎる ; $hypothesis$ = 「この二十七度生まれは四十年基準でないがしかし長過ぎる」ということは成り立たない ; $proof$ = 
fact8 & fact7 -> hypothesis; __DISPROVED__
事実1: あの夜景は盟約しない
事実2: この二十七度生まれは四十年基準でないとしたら入信でないけど規模以上だ
事実3: 甘ったるくない物は制定すらないが絶対視する
事実4: もしもこの二十七度生まれが盟約しないとすれば長過ぎる
事実5: あの公事が成り始めないならばそれは怠くらないしそれは盟約する
事実6: この二十七度生まれは長過ぎる
事実7: この二十七度生まれは盟約しない
事実8: この二十七度生まれが盟約しないとすればそれは四十年基準でなくてそれにそれは長過ぎる

仮説: 「この二十七度生まれは四十年基準でないがしかし長過ぎる」ということは成り立たない
1. 事実8と事実7から、仮説が否定される

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