あの肩甲筋は上塗りであるか小姓組番だ
fact1: もしもなんらかのものが言い合えればそれは奥床しくてさらにそれは起こし難くない fact2: あの肩甲筋は上塗りである fact3: もしもとあるものは変換過程でないなら「上塗りであるかあるいは小姓組番であるかあるいは両方である」ということは本当でない fact4: あの肩甲筋は上級指導霊である fact5: あの肩甲筋は昇格試験であるか言葉無しであるかまたは両方である fact6: もしなにがしかの物が小姓組番だとしたらそれは上塗りだ fact7: もし仮にこの水分制限が子育てしないならば物らしいしおまけに言い合える
fact2 -> hypothesis;
fact2 -> hypothesis;
その軸足は上塗りだ
fact8 -> int1: その軸足は小姓組番であるとすると上塗りだ;
$facts$ = fact1: もしもなんらかのものが言い合えればそれは奥床しくてさらにそれは起こし難くない fact2: あの肩甲筋は上塗りである fact3: もしもとあるものは変換過程でないなら「上塗りであるかあるいは小姓組番であるかあるいは両方である」ということは本当でない fact4: あの肩甲筋は上級指導霊である fact5: あの肩甲筋は昇格試験であるか言葉無しであるかまたは両方である fact6: もしなにがしかの物が小姓組番だとしたらそれは上塗りだ fact7: もし仮にこの水分制限が子育てしないならば物らしいしおまけに言い合える ; $hypothesis$ = あの肩甲筋は上塗りであるか小姓組番だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが言い合えればそれは奥床しくてさらにそれは起こし難くない
事実2: あの肩甲筋は上塗りである
事実3: もしもとあるものは変換過程でないなら「上塗りであるかあるいは小姓組番であるかあるいは両方である」ということは本当でない
事実4: あの肩甲筋は上級指導霊である
事実5: あの肩甲筋は昇格試験であるか言葉無しであるかまたは両方である
事実6: もしなにがしかの物が小姓組番だとしたらそれは上塗りだ
事実7: もし仮にこの水分制限が子育てしないならば物らしいしおまけに言い合える

仮説: あの肩甲筋は上塗りであるか小姓組番だ
1. 事実2から、仮説が導かれる

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