その構造プログラムは付け所だ
fact1: もし仮にその科学的社会主義が付け所であるけど孝行しないとすればあの構造プログラムは付け所でない fact2: その構造プログラムは孝行する fact3: もし仮にそのオルメカが白々しかないとするとその構造プログラムは付け所だ fact4: その構造プログラムは渾名するか御聞かせしない fact5: もしもとあるものが孝行するしそれに渾名するとしたらその科学的社会主義は白々しい fact6: なんらかの物は孝行するしかつそれは渾名する fact7: もしもその科学的社会主義が白々しいとするとそのオルメカは相対所得であるかもしくはそれは白々しかない fact8: 仮にそのオルメカは相対所得だとすれば「「その構造プログラムは付け所でない」ということは成り立たない」ということは成り立つ
fact6 & fact5 -> int1: その科学的社会主義は白々しい; int1 & fact7 -> int2: そのオルメカは相対所得であるかあるいは白々しかないかどちらもだ; int2 & fact8 & fact3 -> hypothesis;
その構造プログラムは付け所でない
$facts$ = fact1: もし仮にその科学的社会主義が付け所であるけど孝行しないとすればあの構造プログラムは付け所でない fact2: その構造プログラムは孝行する fact3: もし仮にそのオルメカが白々しかないとするとその構造プログラムは付け所だ fact4: その構造プログラムは渾名するか御聞かせしない fact5: もしもとあるものが孝行するしそれに渾名するとしたらその科学的社会主義は白々しい fact6: なんらかの物は孝行するしかつそれは渾名する fact7: もしもその科学的社会主義が白々しいとするとそのオルメカは相対所得であるかもしくはそれは白々しかない fact8: 仮にそのオルメカは相対所得だとすれば「「その構造プログラムは付け所でない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = その構造プログラムは付け所だ ; $proof$ = 
fact6 & fact5 -> int1: その科学的社会主義は白々しい; int1 & fact7 -> int2: そのオルメカは相対所得であるかあるいは白々しかないかどちらもだ; int2 & fact8 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にその科学的社会主義が付け所であるけど孝行しないとすればあの構造プログラムは付け所でない
事実2: その構造プログラムは孝行する
事実3: もし仮にそのオルメカが白々しかないとするとその構造プログラムは付け所だ
事実4: その構造プログラムは渾名するか御聞かせしない
事実5: もしもとあるものが孝行するしそれに渾名するとしたらその科学的社会主義は白々しい
事実6: なんらかの物は孝行するしかつそれは渾名する
事実7: もしもその科学的社会主義が白々しいとするとそのオルメカは相対所得であるかもしくはそれは白々しかない
事実8: 仮にそのオルメカは相対所得だとすれば「「その構造プログラムは付け所でない」ということは成り立たない」ということは成り立つ

仮説: その構造プログラムは付け所だ
1. 事実6と事実5から、推論1: "その科学的社会主義は白々しい"が導かれる
2. 推論1と事実7から、推論2: "そのオルメカは相対所得であるかあるいは白々しかないかどちらもだ"が導かれる
3. 推論2と事実8と事実3から、仮説が導かれる

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