「もし「心憎くないかあるいは甲高いか両方だ」ということは偽なら専門科でない」ものはある
fact1: もしも「あの口語訳はジンジャー・ビールでないかまたは懐柔する」ということは間違っているとしたら甲高くない fact2: 仮に「あの口語訳は心憎いということはないかあるいはそれは甲高いかもしくは両方ともである」ということは成り立つということはないとしたら専門科でない fact3: もし仮に「なにがしかのものは臈たけらないかもしくはＲＣＮであるか両方である」ということは本当でないとしたら九月以降だということはない
fact2 -> hypothesis;
「もしも「臈たけらないかもしくはＲＣＮであるかもしくは両方ともだ」ということは偽であるとすれば九月以降でない」物はある
fact4 -> int1: 「その等親は臈たけらないかＲＣＮであるかまたはどちらもである」ということは成り立たないならば九月以降であるということはない; int1 -> hypothesis;
$facts$ = fact1: もしも「あの口語訳はジンジャー・ビールでないかまたは懐柔する」ということは間違っているとしたら甲高くない fact2: 仮に「あの口語訳は心憎いということはないかあるいはそれは甲高いかもしくは両方ともである」ということは成り立つということはないとしたら専門科でない fact3: もし仮に「なにがしかのものは臈たけらないかもしくはＲＣＮであるか両方である」ということは本当でないとしたら九月以降だということはない ; $hypothesis$ = 「もし「心憎くないかあるいは甲高いか両方だ」ということは偽なら専門科でない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「あの口語訳はジンジャー・ビールでないかまたは懐柔する」ということは間違っているとしたら甲高くない
事実2: 仮に「あの口語訳は心憎いということはないかあるいはそれは甲高いかもしくは両方ともである」ということは成り立つということはないとしたら専門科でない
事実3: もし仮に「なにがしかのものは臈たけらないかもしくはＲＣＮであるか両方である」ということは本当でないとしたら九月以降だということはない

仮説: 「もし「心憎くないかあるいは甲高いか両方だ」ということは偽なら専門科でない」ものはある
1. 事実2から、仮説が導かれる

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