もしもこの富貴は上げ難いとしたら「特別メニューでないか軽々しかないか両方である」ということは誤りだ
fact1: もしもこの富貴は記念するとすると「それは特別メニューだ」ということは本当だ fact2: 仮にこの富貴が上げ難いとするとそれは特別メニューである fact3: 仮にその本体部分は第六譜であるなら特別メニューでないかもしくは際どかないかまたは両方だ fact4: もしもこの富貴は易しいとすれば「特別メニューでないかもしくは二分裂しないかまたはどちらもだ」ということは間違っている fact5: もしもなんらかの物は究明すとしたら「それは無権代理人Ｂである」ということは成り立つ fact6: もしもなにがしかのものは上げ難いとすれば「それは特別メニューでないかもしくはそれは軽々しかない」ということは本当でない
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: もしもこの富貴は記念するとすると「それは特別メニューだ」ということは本当だ fact2: 仮にこの富貴が上げ難いとするとそれは特別メニューである fact3: 仮にその本体部分は第六譜であるなら特別メニューでないかもしくは際どかないかまたは両方だ fact4: もしもこの富貴は易しいとすれば「特別メニューでないかもしくは二分裂しないかまたはどちらもだ」ということは間違っている fact5: もしもなんらかの物は究明すとしたら「それは無権代理人Ｂである」ということは成り立つ fact6: もしもなにがしかのものは上げ難いとすれば「それは特別メニューでないかもしくはそれは軽々しかない」ということは本当でない ; $hypothesis$ = もしもこの富貴は上げ難いとしたら「特別メニューでないか軽々しかないか両方である」ということは誤りだ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしもこの富貴は記念するとすると「それは特別メニューだ」ということは本当だ
事実2: 仮にこの富貴が上げ難いとするとそれは特別メニューである
事実3: 仮にその本体部分は第六譜であるなら特別メニューでないかもしくは際どかないかまたは両方だ
事実4: もしもこの富貴は易しいとすれば「特別メニューでないかもしくは二分裂しないかまたはどちらもだ」ということは間違っている
事実5: もしもなんらかの物は究明すとしたら「それは無権代理人Ｂである」ということは成り立つ
事実6: もしもなにがしかのものは上げ難いとすれば「それは特別メニューでないかもしくはそれは軽々しかない」ということは本当でない

仮説: もしもこの富貴は上げ難いとしたら「特別メニューでないか軽々しかないか両方である」ということは誤りだ
1. 事実6から、仮説が導かれる

よって、仮説が証明されました。