「もし「仮払い消費税等でない」ということは本当であるならば御辞儀しない」ものはある
fact1: 「もし仮に仮払い消費税等だとしたら御辞儀しない」物はある fact2: もしも「この三万双合同結婚式は一石橋でない」ということは確かであるなら仮払い消費税等だ fact3: もし仮にこのテキストフィールドが御辞儀しないならそれは包囲しない fact4: その開発者は御辞儀しないならば「それは仕事らしくない」ということは事実だ fact5: もしこの三万双合同結婚式は仮払い消費税等でないとしたら御辞儀しない fact6: もしこの三万双合同結婚式は仮払い消費税等でないとすると御辞儀する fact7: もし仮にこの三万双合同結婚式は仮払い消費税等であるとしたら御辞儀しない fact8: もしこの三万双合同結婚式が御辞儀しないとすれば法治国家でない fact9: 「銃身でないとすればすごーくない」ものはある fact10: 「仮にコンパクト形状だということはないとしたら慈愛深くない」物はある fact11: 「もしも「顕在化し易い」ということは正しいとしたら「補欠者でない」ということは確かな」物はある fact12: もしもなんらかの物は実況でないとするとそれは際限無くない fact13: 「片栗粉少々であるとすればたどたどしいということはない」ものはある fact14: この三万双合同結婚式は仮払い消費税等でないとしたらそれは増やせない fact15: 「仮に強くないなら幼くない」物はある fact16: もしもこの三万双合同結婚式が御辞儀しないとすると申し渡さない fact17: 仮にある物が仮払い消費税等でないとすれば押し易いということはない fact18: 「仮に仮払い消費税等でないとすると御辞儀する」物はある fact19: もしその一札は紳士らしいとしたら「御辞儀しない」ということは事実である
fact5 -> hypothesis;
もし仮に「この売店は仮払い消費税等でない」ということは確かだとすれば押し易くない
fact20 -> hypothesis;
$facts$ = fact1: 「もし仮に仮払い消費税等だとしたら御辞儀しない」物はある fact2: もしも「この三万双合同結婚式は一石橋でない」ということは確かであるなら仮払い消費税等だ fact3: もし仮にこのテキストフィールドが御辞儀しないならそれは包囲しない fact4: その開発者は御辞儀しないならば「それは仕事らしくない」ということは事実だ fact5: もしこの三万双合同結婚式は仮払い消費税等でないとしたら御辞儀しない fact6: もしこの三万双合同結婚式は仮払い消費税等でないとすると御辞儀する fact7: もし仮にこの三万双合同結婚式は仮払い消費税等であるとしたら御辞儀しない fact8: もしこの三万双合同結婚式が御辞儀しないとすれば法治国家でない fact9: 「銃身でないとすればすごーくない」ものはある fact10: 「仮にコンパクト形状だということはないとしたら慈愛深くない」物はある fact11: 「もしも「顕在化し易い」ということは正しいとしたら「補欠者でない」ということは確かな」物はある fact12: もしもなんらかの物は実況でないとするとそれは際限無くない fact13: 「片栗粉少々であるとすればたどたどしいということはない」ものはある fact14: この三万双合同結婚式は仮払い消費税等でないとしたらそれは増やせない fact15: 「仮に強くないなら幼くない」物はある fact16: もしもこの三万双合同結婚式が御辞儀しないとすると申し渡さない fact17: 仮にある物が仮払い消費税等でないとすれば押し易いということはない fact18: 「仮に仮払い消費税等でないとすると御辞儀する」物はある fact19: もしその一札は紳士らしいとしたら「御辞儀しない」ということは事実である ; $hypothesis$ = 「もし「仮払い消費税等でない」ということは本当であるならば御辞儀しない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に仮払い消費税等だとしたら御辞儀しない」物はある
事実2: もしも「この三万双合同結婚式は一石橋でない」ということは確かであるなら仮払い消費税等だ
事実3: もし仮にこのテキストフィールドが御辞儀しないならそれは包囲しない
事実4: その開発者は御辞儀しないならば「それは仕事らしくない」ということは事実だ
事実5: もしこの三万双合同結婚式は仮払い消費税等でないとしたら御辞儀しない
事実6: もしこの三万双合同結婚式は仮払い消費税等でないとすると御辞儀する
事実7: もし仮にこの三万双合同結婚式は仮払い消費税等であるとしたら御辞儀しない
事実8: もしこの三万双合同結婚式が御辞儀しないとすれば法治国家でない
事実9: 「銃身でないとすればすごーくない」ものはある
事実10: 「仮にコンパクト形状だということはないとしたら慈愛深くない」物はある
事実11: 「もしも「顕在化し易い」ということは正しいとしたら「補欠者でない」ということは確かな」物はある
事実12: もしもなんらかの物は実況でないとするとそれは際限無くない
事実13: 「片栗粉少々であるとすればたどたどしいということはない」ものはある
事実14: この三万双合同結婚式は仮払い消費税等でないとしたらそれは増やせない
事実15: 「仮に強くないなら幼くない」物はある
事実16: もしもこの三万双合同結婚式が御辞儀しないとすると申し渡さない
事実17: 仮にある物が仮払い消費税等でないとすれば押し易いということはない
事実18: 「仮に仮払い消費税等でないとすると御辞儀する」物はある
事実19: もしその一札は紳士らしいとしたら「御辞儀しない」ということは事実である

仮説: 「もし「仮払い消費税等でない」ということは本当であるならば御辞儀しない」ものはある
1. 事実5から、仮説が導かれる

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