その理工系は馬鹿でかいとすると「その郵便馬車は傾き易い」ということは正しい
fact1: 何らかの物は適正濃度部分でないならそれは抗し切れるか馬鹿でかいかもしくは両方だ fact2: 「その理工系は分業する」ということは正しい fact3: その理工系は抗し切れる fact4: もしその理工系が馬鹿でかいとしたら傾き易い fact5: 仮になにがしかのものが抗し切れるとしたらそれは傾き易い fact6: その郵便馬車は成され易い fact7: もしその郵便馬車は抗し切れるなら「その理工系は傾き易い」ということは成り立つ fact8: 仮にあの邪宗門が適正濃度部分でないならばその郵便馬車は適正濃度部分でない fact9: その理工系は馬鹿でかいならば「その郵便馬車は抗し切れる」ということは正しい fact10: 仮にこの能力一杯が転進するしまた適正濃度部分であるとすればあの邪宗門は適正濃度部分でない
void -> assump1: 以下のように仮定する。その理工系は馬鹿でかい; fact9 & assump1 -> int1: その郵便馬車は抗し切れる; fact5 -> int2: 仮にその郵便馬車が抗し切れるなら傾き易い; int1 & int2 -> int3: 「その郵便馬車は傾き易い」ということは成り立つ; [assump1] & int3 -> hypothesis;
その理工系は傾き易い
fact13 -> int4: 仮にその郵便馬車が適正濃度部分でないなら抗し切れるかもしくは馬鹿でかいかあるいは両方ともだ;
$facts$ = fact1: 何らかの物は適正濃度部分でないならそれは抗し切れるか馬鹿でかいかもしくは両方だ fact2: 「その理工系は分業する」ということは正しい fact3: その理工系は抗し切れる fact4: もしその理工系が馬鹿でかいとしたら傾き易い fact5: 仮になにがしかのものが抗し切れるとしたらそれは傾き易い fact6: その郵便馬車は成され易い fact7: もしその郵便馬車は抗し切れるなら「その理工系は傾き易い」ということは成り立つ fact8: 仮にあの邪宗門が適正濃度部分でないならばその郵便馬車は適正濃度部分でない fact9: その理工系は馬鹿でかいならば「その郵便馬車は抗し切れる」ということは正しい fact10: 仮にこの能力一杯が転進するしまた適正濃度部分であるとすればあの邪宗門は適正濃度部分でない ; $hypothesis$ = その理工系は馬鹿でかいとすると「その郵便馬車は傾き易い」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その理工系は馬鹿でかい; fact9 & assump1 -> int1: その郵便馬車は抗し切れる; fact5 -> int2: 仮にその郵便馬車が抗し切れるなら傾き易い; int1 & int2 -> int3: 「その郵便馬車は傾き易い」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかの物は適正濃度部分でないならそれは抗し切れるか馬鹿でかいかもしくは両方だ
事実2: 「その理工系は分業する」ということは正しい
事実3: その理工系は抗し切れる
事実4: もしその理工系が馬鹿でかいとしたら傾き易い
事実5: 仮になにがしかのものが抗し切れるとしたらそれは傾き易い
事実6: その郵便馬車は成され易い
事実7: もしその郵便馬車は抗し切れるなら「その理工系は傾き易い」ということは成り立つ
事実8: 仮にあの邪宗門が適正濃度部分でないならばその郵便馬車は適正濃度部分でない
事実9: その理工系は馬鹿でかいならば「その郵便馬車は抗し切れる」ということは正しい
事実10: 仮にこの能力一杯が転進するしまた適正濃度部分であるとすればあの邪宗門は適正濃度部分でない

仮説: その理工系は馬鹿でかいとすると「その郵便馬車は傾き易い」ということは正しい
1. 仮定1: 以下のように仮定する。その理工系は馬鹿でかい
2. 事実9と仮定1から、推論1: "その郵便馬車は抗し切れる"が導かれる
3. 事実5から、推論2: "仮にその郵便馬車が抗し切れるなら傾き易い"が導かれる
4. 推論1と推論2から、推論3: "「その郵便馬車は傾き易い」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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