この託児は展開し易いしおまけに掃部だ
fact1: 「この託児は有段者である」ということは本当だ fact2: 仮にとあるものが予算執行だしまた零れ落ちるとしたらそれは蒔き付けない fact3: もし仮になにがしかの物が例外無いということはないしその上活性化しないとすると離れ難くない fact4: 「あのペナルティ・ストップは展開し易い」ということは事実だ fact5: この託児は祝福するし加えて手繰り寄せる fact6: この託児は掃部だ fact7: この託児は展開し易い fact8: もしもこの託児が蒔き付けないならばその普仏戦争は例外無いということはないしさらに活性化しない fact9: もし仮に「この託児は赤いが折れ易いということはない」ということは成り立たないとすれば零れ落ちる fact10: この託児は好発年齢である fact11: その伝導速度は予算執行だ fact12: なんらかのものが離れ難くないとしたら展開し易くて更に掃部だ fact13: 仮にその伝導速度が予算執行であるとすればこの託児は予算執行である
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
その普仏戦争は展開し易い
fact20 -> int1: 仮にその普仏戦争が離れ難くないとすると展開し易いし更に掃部だ; fact18 -> int2: もしその普仏戦争は例外無いということはなくて活性化しないならば「離れ難いということはない」ということは事実である; fact15 -> int3: 仮にこの託児は予算執行であるしまた零れ落ちるなら蒔き付けない; fact14 & fact16 -> int4: 「この託児は予算執行である」ということは本当だ;
$facts$ = fact1: 「この託児は有段者である」ということは本当だ fact2: 仮にとあるものが予算執行だしまた零れ落ちるとしたらそれは蒔き付けない fact3: もし仮になにがしかの物が例外無いということはないしその上活性化しないとすると離れ難くない fact4: 「あのペナルティ・ストップは展開し易い」ということは事実だ fact5: この託児は祝福するし加えて手繰り寄せる fact6: この託児は掃部だ fact7: この託児は展開し易い fact8: もしもこの託児が蒔き付けないならばその普仏戦争は例外無いということはないしさらに活性化しない fact9: もし仮に「この託児は赤いが折れ易いということはない」ということは成り立たないとすれば零れ落ちる fact10: この託児は好発年齢である fact11: その伝導速度は予算執行だ fact12: なんらかのものが離れ難くないとしたら展開し易くて更に掃部だ fact13: 仮にその伝導速度が予算執行であるとすればこの託児は予算執行である ; $hypothesis$ = この託児は展開し易いしおまけに掃部だ ; $proof$ = 
fact7 & fact6 -> hypothesis; __PROVED__
事実1: 「この託児は有段者である」ということは本当だ
事実2: 仮にとあるものが予算執行だしまた零れ落ちるとしたらそれは蒔き付けない
事実3: もし仮になにがしかの物が例外無いということはないしその上活性化しないとすると離れ難くない
事実4: 「あのペナルティ・ストップは展開し易い」ということは事実だ
事実5: この託児は祝福するし加えて手繰り寄せる
事実6: この託児は掃部だ
事実7: この託児は展開し易い
事実8: もしもこの託児が蒔き付けないならばその普仏戦争は例外無いということはないしさらに活性化しない
事実9: もし仮に「この託児は赤いが折れ易いということはない」ということは成り立たないとすれば零れ落ちる
事実10: この託児は好発年齢である
事実11: その伝導速度は予算執行だ
事実12: なんらかのものが離れ難くないとしたら展開し易くて更に掃部だ
事実13: 仮にその伝導速度が予算執行であるとすればこの託児は予算執行である

仮説: この託児は展開し易いしおまけに掃部だ
1. 事実7と事実6から、仮説が導かれる

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