この国際法廷は迂回する
fact1: もし仮にその第二十一飛行隊は窮地であるならば「この国際法廷は話し合えない一方で迂回する」ということは嘘だ fact2: この州教育法は迂回する fact3: 仮にこの黴菌が思い出し為さるとすればその第二十一飛行隊は窮地である fact4: この国際法廷は迂回する fact5: もしも「「ある物は話し合えないがしかしそれは迂回する」ということは事実である」ということは誤っていれば迂回しない
fact4 -> hypothesis;
fact4 -> hypothesis;
この国際法廷は迂回しない
fact7 -> int1: 仮に「この国際法廷は話し合えないがしかし迂回する」ということは誤っているとすれば「迂回するということはない」ということは正しい;
$facts$ = fact1: もし仮にその第二十一飛行隊は窮地であるならば「この国際法廷は話し合えない一方で迂回する」ということは嘘だ fact2: この州教育法は迂回する fact3: 仮にこの黴菌が思い出し為さるとすればその第二十一飛行隊は窮地である fact4: この国際法廷は迂回する fact5: もしも「「ある物は話し合えないがしかしそれは迂回する」ということは事実である」ということは誤っていれば迂回しない ; $hypothesis$ = この国際法廷は迂回する ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にその第二十一飛行隊は窮地であるならば「この国際法廷は話し合えない一方で迂回する」ということは嘘だ
事実2: この州教育法は迂回する
事実3: 仮にこの黴菌が思い出し為さるとすればその第二十一飛行隊は窮地である
事実4: この国際法廷は迂回する
事実5: もしも「「ある物は話し合えないがしかしそれは迂回する」ということは事実である」ということは誤っていれば迂回しない

仮説: この国際法廷は迂回する
1. 事実4から、仮説が導かれる

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