「その割烹は千九百九十八年以降でないけれど長し」ということは成り立たない
fact1: すべてのものは懐こい fact2: もし仮になにかは懐こくないとすれば「それは千九百九十八年以降でないがしかし長し」ということは嘘だ fact3: その割烹が懐こいとすると千九百九十八年以降でない fact4: 懐こいものは千九百九十八年以降でないがしかし長し fact5: その割烹は千九百九十八年以降でない fact6: 「懐こい物は千九百九十八年以降でない」ということは真実である
fact1 -> int1: その割烹は懐こい; fact4 -> int2: その割烹が懐こいとしたらそれは千九百九十八年以降でないしそれにそれは長し; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{aa}; fact4 -> int2: {A}{aa} -> (¬{C}{aa} & {B}{aa}); int1 & int2 -> hypothesis;
「その割烹は千九百九十八年以降でないがしかし長し」ということは誤っている
fact7 -> int3: もしもその割烹は懐こくないとすれば「千九百九十八年以降でなくてまたそれは長し」ということは偽だ;
$facts$ = fact1: すべてのものは懐こい fact2: もし仮になにかは懐こくないとすれば「それは千九百九十八年以降でないがしかし長し」ということは嘘だ fact3: その割烹が懐こいとすると千九百九十八年以降でない fact4: 懐こいものは千九百九十八年以降でないがしかし長し fact5: その割烹は千九百九十八年以降でない fact6: 「懐こい物は千九百九十八年以降でない」ということは真実である ; $hypothesis$ = 「その割烹は千九百九十八年以降でないけれど長し」ということは成り立たない ; $proof$ = 
fact1 -> int1: その割烹は懐こい; fact4 -> int2: その割烹が懐こいとしたらそれは千九百九十八年以降でないしそれにそれは長し; int1 & int2 -> hypothesis; __DISPROVED__
事実1: すべてのものは懐こい
事実2: もし仮になにかは懐こくないとすれば「それは千九百九十八年以降でないがしかし長し」ということは嘘だ
事実3: その割烹が懐こいとすると千九百九十八年以降でない
事実4: 懐こいものは千九百九十八年以降でないがしかし長し
事実5: その割烹は千九百九十八年以降でない
事実6: 「懐こい物は千九百九十八年以降でない」ということは真実である

仮説: 「その割烹は千九百九十八年以降でないけれど長し」ということは成り立たない
1. 事実1から、推論1: "その割烹は懐こい"が導かれる
2. 事実4から、推論2: "その割烹が懐こいとしたらそれは千九百九十八年以降でないしそれにそれは長し"が導かれる
3. 推論1と推論2から、仮説が否定される

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