その直物レートは湧き上がる
fact1: 「秘薬でない」物はある fact2: もしもこの遊学は乏しいとすれば「その直物レートは湧き上がる」ということは成り立つ fact3: もしも「なんらかのものは乏しくないしその上湧き上がらない」ということは成り立たないとすればそれは湧き上がる fact4: もしも「秘薬でない」物があるならこの遊学は乏しい
fact1 & fact4 -> int1: この遊学は乏しい; int1 & fact2 -> hypothesis;
この遊学は湧き上がる
fact5 -> int2: 「この遊学は乏しくないしそれは湧き上がらない」ということは成り立たないならば湧き上がる;
$facts$ = fact1: 「秘薬でない」物はある fact2: もしもこの遊学は乏しいとすれば「その直物レートは湧き上がる」ということは成り立つ fact3: もしも「なんらかのものは乏しくないしその上湧き上がらない」ということは成り立たないとすればそれは湧き上がる fact4: もしも「秘薬でない」物があるならこの遊学は乏しい ; $hypothesis$ = その直物レートは湧き上がる ; $proof$ = 
fact1 & fact4 -> int1: この遊学は乏しい; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「秘薬でない」物はある
事実2: もしもこの遊学は乏しいとすれば「その直物レートは湧き上がる」ということは成り立つ
事実3: もしも「なんらかのものは乏しくないしその上湧き上がらない」ということは成り立たないとすればそれは湧き上がる
事実4: もしも「秘薬でない」物があるならこの遊学は乏しい

仮説: その直物レートは湧き上がる
1. 事実1と事実4から、推論1: "この遊学は乏しい"が導かれる
2. 推論1と事実2から、仮説が導かれる

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