「もしも生産財だということはないとしたら「齎し易いかもしくは吸収され難い」ということは成り立たない」ものはある
fact1: 「仮に下人でないとすれば優美さであるかもしくは生みであるかあるいは両方な」ものはある fact2: もし何らかのものが蠢き出さないならば白豚であるかあるいは御固いかあるいはどちらもである fact3: 「もしも「商人らしくない」ということは確かであるなら逸民であるかあるいは名状し難いかもしくはどちらもな」物はある fact4: もしもこのアウストラロピテクスは受け入れ易くないなら「齎し易いかそれは執念深い」ということは事実と異なる fact5: ある物は生産財でないなら「それは齎し易いかまたはそれは吸収され難いかもしくは両方だ」ということは誤っている
fact5 -> int1: もしもこのアウストラロピテクスは生産財でないなら「それは齎し易いかまたは吸収され難いかどちらもである」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 「仮に下人でないとすれば優美さであるかもしくは生みであるかあるいは両方な」ものはある fact2: もし何らかのものが蠢き出さないならば白豚であるかあるいは御固いかあるいはどちらもである fact3: 「もしも「商人らしくない」ということは確かであるなら逸民であるかあるいは名状し難いかもしくはどちらもな」物はある fact4: もしもこのアウストラロピテクスは受け入れ易くないなら「齎し易いかそれは執念深い」ということは事実と異なる fact5: ある物は生産財でないなら「それは齎し易いかまたはそれは吸収され難いかもしくは両方だ」ということは誤っている ; $hypothesis$ = 「もしも生産財だということはないとしたら「齎し易いかもしくは吸収され難い」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> int1: もしもこのアウストラロピテクスは生産財でないなら「それは齎し易いかまたは吸収され難いかどちらもである」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: 「仮に下人でないとすれば優美さであるかもしくは生みであるかあるいは両方な」ものはある
事実2: もし何らかのものが蠢き出さないならば白豚であるかあるいは御固いかあるいはどちらもである
事実3: 「もしも「商人らしくない」ということは確かであるなら逸民であるかあるいは名状し難いかもしくはどちらもな」物はある
事実4: もしもこのアウストラロピテクスは受け入れ易くないなら「齎し易いかそれは執念深い」ということは事実と異なる
事実5: ある物は生産財でないなら「それは齎し易いかまたはそれは吸収され難いかもしくは両方だ」ということは誤っている

仮説: 「もしも生産財だということはないとしたら「齎し易いかもしくは吸収され難い」ということは成り立たない」ものはある
1. 事実5から、推論1: "もしもこのアウストラロピテクスは生産財でないなら「それは齎し易いかまたは吸収され難いかどちらもである」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

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