「「「利活用する」ということは成り立つとすると「和らがないしまた冗談っぽくない」ということは誤りである」物はある」ということは偽である
fact1: なにがしかのものは利活用すれば「それが和らはないしおまけに冗談っぽくない」ということは成り立たない fact2: ある物はレベルダウンであるならば「ＮＡＤだしさらに四角いということはない」ということは誤っている fact3: あの零Ｘ五Ｃはデイサイトであるとすれば「それは色好くなくておまけに汚くない」ということは成り立たない fact4: 「仮に潔しなら「発揮し難いけど下働きでない」ということは成り立たない」物はある fact5: もしもあの高百石が利活用すればそれは因果交流電灯でなくて加えて覚えない fact6: もしもなにがしかのものは大人気無いとすれば「それは戦わさない一方で地主側だ」ということは成り立たない fact7: もしあるものは薄青いなら「発展し兼ねらなくて加えてそれは演ぜない」ということは嘘である
fact1 -> int1: もし仮にあの高百石は利活用するなら「それが和らはないし冗談っぽいということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: なにがしかのものは利活用すれば「それが和らはないしおまけに冗談っぽくない」ということは成り立たない fact2: ある物はレベルダウンであるならば「ＮＡＤだしさらに四角いということはない」ということは誤っている fact3: あの零Ｘ五Ｃはデイサイトであるとすれば「それは色好くなくておまけに汚くない」ということは成り立たない fact4: 「仮に潔しなら「発揮し難いけど下働きでない」ということは成り立たない」物はある fact5: もしもあの高百石が利活用すればそれは因果交流電灯でなくて加えて覚えない fact6: もしもなにがしかのものは大人気無いとすれば「それは戦わさない一方で地主側だ」ということは成り立たない fact7: もしあるものは薄青いなら「発展し兼ねらなくて加えてそれは演ぜない」ということは嘘である ; $hypothesis$ = 「「「利活用する」ということは成り立つとすると「和らがないしまた冗談っぽくない」ということは誤りである」物はある」ということは偽である ; $proof$ = 
fact1 -> int1: もし仮にあの高百石は利活用するなら「それが和らはないし冗談っぽいということはない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは利活用すれば「それが和らはないしおまけに冗談っぽくない」ということは成り立たない
事実2: ある物はレベルダウンであるならば「ＮＡＤだしさらに四角いということはない」ということは誤っている
事実3: あの零Ｘ五Ｃはデイサイトであるとすれば「それは色好くなくておまけに汚くない」ということは成り立たない
事実4: 「仮に潔しなら「発揮し難いけど下働きでない」ということは成り立たない」物はある
事実5: もしもあの高百石が利活用すればそれは因果交流電灯でなくて加えて覚えない
事実6: もしもなにがしかのものは大人気無いとすれば「それは戦わさない一方で地主側だ」ということは成り立たない
事実7: もしあるものは薄青いなら「発展し兼ねらなくて加えてそれは演ぜない」ということは嘘である

仮説: 「「「利活用する」ということは成り立つとすると「和らがないしまた冗談っぽくない」ということは誤りである」物はある」ということは偽である
1. 事実1から、推論1: "もし仮にあの高百石は利活用するなら「それが和らはないし冗談っぽいということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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