「「仮に「冗談っぽいかあるいは政策意図でないかどちらもである」ということは間違っているなら地上界でない」ものはある」ということは偽だ
fact1: 「仮に「十三歳以上であるかあるいは愛くるしいということはない」ということは成り立たないならばフランス人らしい」ものはある fact2: 「もしも並べるかまたは汚らわしくないとすれば「押し留めるということはない」ということは間違いでない」ものはある fact3: もし「何らかのものは引き上げするかそれは潔しかもしくは両方だ」ということは誤っているとすると入力欄でない fact4: もし仮に「あの御気付きは隈であるかもしくは拡大し続けるということはない」ということは確かでないならば地上界だ fact5: もし「あの御気付きは冗談っぽいかもしくはそれは政策意図でない」ということは偽だとすればそれは地上界である fact6: もし仮に「あるものは冗談っぽいかまたは政策意図だということはないかまたは両方ともである」ということは偽だとすると地上界でない
fact6 -> int1: 仮に「あの御気付きは冗談っぽいかまたは政策意図でない」ということは成り立つということはないならば地上界でない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「十三歳以上であるかあるいは愛くるしいということはない」ということは成り立たないならばフランス人らしい」ものはある fact2: 「もしも並べるかまたは汚らわしくないとすれば「押し留めるということはない」ということは間違いでない」ものはある fact3: もし「何らかのものは引き上げするかそれは潔しかもしくは両方だ」ということは誤っているとすると入力欄でない fact4: もし仮に「あの御気付きは隈であるかもしくは拡大し続けるということはない」ということは確かでないならば地上界だ fact5: もし「あの御気付きは冗談っぽいかもしくはそれは政策意図でない」ということは偽だとすればそれは地上界である fact6: もし仮に「あるものは冗談っぽいかまたは政策意図だということはないかまたは両方ともである」ということは偽だとすると地上界でない ; $hypothesis$ = 「「仮に「冗談っぽいかあるいは政策意図でないかどちらもである」ということは間違っているなら地上界でない」ものはある」ということは偽だ ; $proof$ = 
fact6 -> int1: 仮に「あの御気付きは冗談っぽいかまたは政策意図でない」ということは成り立つということはないならば地上界でない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に「十三歳以上であるかあるいは愛くるしいということはない」ということは成り立たないならばフランス人らしい」ものはある
事実2: 「もしも並べるかまたは汚らわしくないとすれば「押し留めるということはない」ということは間違いでない」ものはある
事実3: もし「何らかのものは引き上げするかそれは潔しかもしくは両方だ」ということは誤っているとすると入力欄でない
事実4: もし仮に「あの御気付きは隈であるかもしくは拡大し続けるということはない」ということは確かでないならば地上界だ
事実5: もし「あの御気付きは冗談っぽいかもしくはそれは政策意図でない」ということは偽だとすればそれは地上界である
事実6: もし仮に「あるものは冗談っぽいかまたは政策意図だということはないかまたは両方ともである」ということは偽だとすると地上界でない

仮説: 「「仮に「冗談っぽいかあるいは政策意図でないかどちらもである」ということは間違っているなら地上界でない」ものはある」ということは偽だ
1. 事実6から、推論1: "仮に「あの御気付きは冗談っぽいかまたは政策意図でない」ということは成り立つということはないならば地上界でない"が導かれる
2. 推論1から、仮説が否定される

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