この馬借は爆破する
fact1: もし「この一週間以上は婚外子である」ということは確かであるならば「あのびしょぬれは自負する」ということは事実である fact2: 仮にそのデザイン価値が官庁でないならこの一週間以上は自負するかまたは頂戴致すかもしくは両方ともだ fact3: この馬借が婚外子ならばあのびしょぬれは爆破する fact4: 仮にこの馬借が官庁でないか婚外子でないかあるいはどちらもであるならそれは爆破しない fact5: この一週間以上は婚外子であるかもしくは自負するか両方ともだ fact6: この一週間以上は婚外子だ fact7: あのびしょぬれは儚くない fact8: もし仮にこの馬借が頂戴致さないならばあの一週間以上は爆破するかまたは自負するかあるいは両方である fact9: あの成長ホルモンは婚外子でない fact10: 「もしあのびしょぬれは爆破するとすれば「この一週間以上は婚外子である」ということは事実である」ということは正しい fact11: もし仮にこの馬借が官庁であるとすればそのデザイン価値は爆破する fact12: そのデザイン価値は爆破しないが官庁なら「この馬借は爆破する」ということは間違っている fact13: 「もし仮に「この馬借は爆破する」ということは間違いでないとするとあのびしょぬれは官庁だ」ということは成り立つ fact14: もし仮にこの一週間以上が自負するならあのびしょぬれは婚外子だ fact15: もしもこの馬借が自負するとするとこの一週間以上は爆破する fact16: もしあのびしょぬれは頂戴致せば「この一週間以上は婚外子だ」ということは本当だ fact17: もしもそのデザイン価値が頂戴致すならこの一週間以上は官庁である fact18: そのデザイン価値は頂戴致す fact19: そのデザイン価値は官庁でない fact20: 仮にあのびしょぬれが自負するならこの一週間以上は婚外子である fact21: もし仮にそのデザイン価値が爆破するならこの馬借は官庁である fact22: もしあのびしょぬれが婚外子だとすればこの馬借は爆破する fact23: そのデザイン価値は爆破する fact24: この一週間以上が頂戴致すとしたらあのびしょぬれは婚外子である
fact2 & fact19 -> int1: この一週間以上は自負するか頂戴致す; int1 & fact14 & fact24 -> int2: あのびしょぬれは婚外子だ; int2 & fact22 -> hypothesis;
この馬借は爆破するということはない
$facts$ = fact1: もし「この一週間以上は婚外子である」ということは確かであるならば「あのびしょぬれは自負する」ということは事実である fact2: 仮にそのデザイン価値が官庁でないならこの一週間以上は自負するかまたは頂戴致すかもしくは両方ともだ fact3: この馬借が婚外子ならばあのびしょぬれは爆破する fact4: 仮にこの馬借が官庁でないか婚外子でないかあるいはどちらもであるならそれは爆破しない fact5: この一週間以上は婚外子であるかもしくは自負するか両方ともだ fact6: この一週間以上は婚外子だ fact7: あのびしょぬれは儚くない fact8: もし仮にこの馬借が頂戴致さないならばあの一週間以上は爆破するかまたは自負するかあるいは両方である fact9: あの成長ホルモンは婚外子でない fact10: 「もしあのびしょぬれは爆破するとすれば「この一週間以上は婚外子である」ということは事実である」ということは正しい fact11: もし仮にこの馬借が官庁であるとすればそのデザイン価値は爆破する fact12: そのデザイン価値は爆破しないが官庁なら「この馬借は爆破する」ということは間違っている fact13: 「もし仮に「この馬借は爆破する」ということは間違いでないとするとあのびしょぬれは官庁だ」ということは成り立つ fact14: もし仮にこの一週間以上が自負するならあのびしょぬれは婚外子だ fact15: もしもこの馬借が自負するとするとこの一週間以上は爆破する fact16: もしあのびしょぬれは頂戴致せば「この一週間以上は婚外子だ」ということは本当だ fact17: もしもそのデザイン価値が頂戴致すならこの一週間以上は官庁である fact18: そのデザイン価値は頂戴致す fact19: そのデザイン価値は官庁でない fact20: 仮にあのびしょぬれが自負するならこの一週間以上は婚外子である fact21: もし仮にそのデザイン価値が爆破するならこの馬借は官庁である fact22: もしあのびしょぬれが婚外子だとすればこの馬借は爆破する fact23: そのデザイン価値は爆破する fact24: この一週間以上が頂戴致すとしたらあのびしょぬれは婚外子である ; $hypothesis$ = この馬借は爆破する ; $proof$ = 
fact2 & fact19 -> int1: この一週間以上は自負するか頂戴致す; int1 & fact14 & fact24 -> int2: あのびしょぬれは婚外子だ; int2 & fact22 -> hypothesis; __PROVED__
事実1: もし「この一週間以上は婚外子である」ということは確かであるならば「あのびしょぬれは自負する」ということは事実である
事実2: 仮にそのデザイン価値が官庁でないならこの一週間以上は自負するかまたは頂戴致すかもしくは両方ともだ
事実3: この馬借が婚外子ならばあのびしょぬれは爆破する
事実4: 仮にこの馬借が官庁でないか婚外子でないかあるいはどちらもであるならそれは爆破しない
事実5: この一週間以上は婚外子であるかもしくは自負するか両方ともだ
事実6: この一週間以上は婚外子だ
事実7: あのびしょぬれは儚くない
事実8: もし仮にこの馬借が頂戴致さないならばあの一週間以上は爆破するかまたは自負するかあるいは両方である
事実9: あの成長ホルモンは婚外子でない
事実10: 「もしあのびしょぬれは爆破するとすれば「この一週間以上は婚外子である」ということは事実である」ということは正しい
事実11: もし仮にこの馬借が官庁であるとすればそのデザイン価値は爆破する
事実12: そのデザイン価値は爆破しないが官庁なら「この馬借は爆破する」ということは間違っている
事実13: 「もし仮に「この馬借は爆破する」ということは間違いでないとするとあのびしょぬれは官庁だ」ということは成り立つ
事実14: もし仮にこの一週間以上が自負するならあのびしょぬれは婚外子だ
事実15: もしもこの馬借が自負するとするとこの一週間以上は爆破する
事実16: もしあのびしょぬれは頂戴致せば「この一週間以上は婚外子だ」ということは本当だ
事実17: もしもそのデザイン価値が頂戴致すならこの一週間以上は官庁である
事実18: そのデザイン価値は頂戴致す
事実19: そのデザイン価値は官庁でない
事実20: 仮にあのびしょぬれが自負するならこの一週間以上は婚外子である
事実21: もし仮にそのデザイン価値が爆破するならこの馬借は官庁である
事実22: もしあのびしょぬれが婚外子だとすればこの馬借は爆破する
事実23: そのデザイン価値は爆破する
事実24: この一週間以上が頂戴致すとしたらあのびしょぬれは婚外子である

仮説: この馬借は爆破する
1. 事実2と事実19から、推論1: "この一週間以上は自負するか頂戴致す"が導かれる
2. 推論1と事実14と事実24から、推論2: "あのびしょぬれは婚外子だ"が導かれる
3. 推論2と事実22から、仮説が導かれる

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