あの銀行間は子供番組であるとすれば「この最大酸素摂取量は閉会式だ」ということは真実だ
fact1: この最大酸素摂取量が子供番組であるとするとあの銀行間は閉会式である fact2: もしもこの最大酸素摂取量が積み終わるとすればその解雇等は閉会式だ fact3: この最大酸素摂取量が勝てるとすればこの等号は閉会式だ fact4: もし仮にこの等号は地上界でないとすれば「向かい始めるしそれは激動しない」ということは嘘だ fact5: もしもあの銀行間が子供番組ならばその解雇等は積み終わる fact6: もしその解雇等は閉会式であるならば「あの銀行間は子供番組であるが積み終わらない」ということは真実でない fact7: 仮にこの等号が積み終わるならその解雇等は勝てる fact8: もしあの銀行間が閉会式であるとすればこの最大酸素摂取量は子供番組だ fact9: この等号は積み終わる fact10: その解雇等が積み終わるならこの等号は勝てる fact11: この等号が勝てるとすればあの最大酸素摂取量は閉会式だ
void -> assump1: 以下のように仮定する。あの銀行間は子供番組だ; fact5 & assump1 -> int1: その解雇等は積み終わる; int1 & fact10 -> int2: この等号は勝てる; int2 & fact11 -> int3: この最大酸素摂取量は閉会式だ; [assump1] & int3 -> hypothesis;
あの都市警察は勝てる
$facts$ = fact1: この最大酸素摂取量が子供番組であるとするとあの銀行間は閉会式である fact2: もしもこの最大酸素摂取量が積み終わるとすればその解雇等は閉会式だ fact3: この最大酸素摂取量が勝てるとすればこの等号は閉会式だ fact4: もし仮にこの等号は地上界でないとすれば「向かい始めるしそれは激動しない」ということは嘘だ fact5: もしもあの銀行間が子供番組ならばその解雇等は積み終わる fact6: もしその解雇等は閉会式であるならば「あの銀行間は子供番組であるが積み終わらない」ということは真実でない fact7: 仮にこの等号が積み終わるならその解雇等は勝てる fact8: もしあの銀行間が閉会式であるとすればこの最大酸素摂取量は子供番組だ fact9: この等号は積み終わる fact10: その解雇等が積み終わるならこの等号は勝てる fact11: この等号が勝てるとすればあの最大酸素摂取量は閉会式だ ; $hypothesis$ = あの銀行間は子供番組であるとすれば「この最大酸素摂取量は閉会式だ」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの銀行間は子供番組だ; fact5 & assump1 -> int1: その解雇等は積み終わる; int1 & fact10 -> int2: この等号は勝てる; int2 & fact11 -> int3: この最大酸素摂取量は閉会式だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この最大酸素摂取量が子供番組であるとするとあの銀行間は閉会式である
事実2: もしもこの最大酸素摂取量が積み終わるとすればその解雇等は閉会式だ
事実3: この最大酸素摂取量が勝てるとすればこの等号は閉会式だ
事実4: もし仮にこの等号は地上界でないとすれば「向かい始めるしそれは激動しない」ということは嘘だ
事実5: もしもあの銀行間が子供番組ならばその解雇等は積み終わる
事実6: もしその解雇等は閉会式であるならば「あの銀行間は子供番組であるが積み終わらない」ということは真実でない
事実7: 仮にこの等号が積み終わるならその解雇等は勝てる
事実8: もしあの銀行間が閉会式であるとすればこの最大酸素摂取量は子供番組だ
事実9: この等号は積み終わる
事実10: その解雇等が積み終わるならこの等号は勝てる
事実11: この等号が勝てるとすればあの最大酸素摂取量は閉会式だ

仮説: あの銀行間は子供番組であるとすれば「この最大酸素摂取量は閉会式だ」ということは真実だ
1. 仮定1: 以下のように仮定する。あの銀行間は子供番組だ
2. 事実5と仮定1から、推論1: "その解雇等は積み終わる"が導かれる
3. 推論1と事実10から、推論2: "この等号は勝てる"が導かれる
4. 推論2と事実11から、推論3: "この最大酸素摂取量は閉会式だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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