「「もしも羨ましいということはないなら「介護出来るということはないししかもウスターソースだ」ということは嘘な」物はある」ということは真実であるということはない
fact1: もしも何かは羨ましくないなら「それは介護出来ないしまたウスターソースである」ということは成り立たない fact2: 仮に何かは羨ましくないとすると「介護出来るし更にウスターソースである」ということは偽である fact3: もしもあの当取り引き所は羨ましくないとすれば「それは介護出来るし加えてウスターソースである」ということは成り立つということはない fact4: 仮にあの当取り引き所は羨ましいとしたら「それは介護出来ないがしかしウスターソースだ」ということは嘘だ
fact1 -> int1: もしもあの当取り引き所は羨ましくないとしたら「「介護出来なくてその上それはウスターソースだ」ということは嘘でない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: もしも何かは羨ましくないなら「それは介護出来ないしまたウスターソースである」ということは成り立たない fact2: 仮に何かは羨ましくないとすると「介護出来るし更にウスターソースである」ということは偽である fact3: もしもあの当取り引き所は羨ましくないとすれば「それは介護出来るし加えてウスターソースである」ということは成り立つということはない fact4: 仮にあの当取り引き所は羨ましいとしたら「それは介護出来ないがしかしウスターソースだ」ということは嘘だ ; $hypothesis$ = 「「もしも羨ましいということはないなら「介護出来るということはないししかもウスターソースだ」ということは嘘な」物はある」ということは真実であるということはない ; $proof$ = 
fact1 -> int1: もしもあの当取り引き所は羨ましくないとしたら「「介護出来なくてその上それはウスターソースだ」ということは嘘でない」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: もしも何かは羨ましくないなら「それは介護出来ないしまたウスターソースである」ということは成り立たない
事実2: 仮に何かは羨ましくないとすると「介護出来るし更にウスターソースである」ということは偽である
事実3: もしもあの当取り引き所は羨ましくないとすれば「それは介護出来るし加えてウスターソースである」ということは成り立つということはない
事実4: 仮にあの当取り引き所は羨ましいとしたら「それは介護出来ないがしかしウスターソースだ」ということは嘘だ

仮説: 「「もしも羨ましいということはないなら「介護出来るということはないししかもウスターソースだ」ということは嘘な」物はある」ということは真実であるということはない
1. 事実1から、推論1: "もしもあの当取り引き所は羨ましくないとしたら「「介護出来なくてその上それはウスターソースだ」ということは嘘でない」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

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