「「金科玉条である」ということは正しいなら御辛いかもしくは糠漬けでないかどちらもである」物はある
fact1: もしもこの没落底が金科玉条だとすればそれは御辛いかあるいは糠漬けでないかあるいは両方ともである fact2: 無機塩は使用すか下部だということはないかまたはどちらもだ fact3: もし仮にこの没落底が御辛いとしたらそれは定バンド幅分析であるかまたはしぶとくないかまたは両方ともだ
fact1 -> hypothesis;
「「もし無機塩であるならば使用すかあるいは下部だということはないかあるいは両方である」ものはある」ということは確かである
fact4 -> int1: 「この剣術指南役は無機塩だ」ということは成り立てばそれは使用すかあるいは下部でない; int1 -> hypothesis;
$facts$ = fact1: もしもこの没落底が金科玉条だとすればそれは御辛いかあるいは糠漬けでないかあるいは両方ともである fact2: 無機塩は使用すか下部だということはないかまたはどちらもだ fact3: もし仮にこの没落底が御辛いとしたらそれは定バンド幅分析であるかまたはしぶとくないかまたは両方ともだ ; $hypothesis$ = 「「金科玉条である」ということは正しいなら御辛いかもしくは糠漬けでないかどちらもである」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもこの没落底が金科玉条だとすればそれは御辛いかあるいは糠漬けでないかあるいは両方ともである
事実2: 無機塩は使用すか下部だということはないかまたはどちらもだ
事実3: もし仮にこの没落底が御辛いとしたらそれは定バンド幅分析であるかまたはしぶとくないかまたは両方ともだ

仮説: 「「金科玉条である」ということは正しいなら御辛いかもしくは糠漬けでないかどちらもである」物はある
1. 事実1から、仮説が導かれる

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