その都市改造事業は狂い出す
fact1: あのサドラーズウェルズ系はピンポンだ fact2: もし仮にその第一航空団がピンポンであるとすればあの都市改造事業は狂い出す fact3: その第一航空団は狂い出す fact4: その第一航空団はピンポンだ fact5: その都市改造事業はピンポンである fact6: その第一航空団は開示請求する
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: あのサドラーズウェルズ系はピンポンだ fact2: もし仮にその第一航空団がピンポンであるとすればあの都市改造事業は狂い出す fact3: その第一航空団は狂い出す fact4: その第一航空団はピンポンだ fact5: その都市改造事業はピンポンである fact6: その第一航空団は開示請求する ; $hypothesis$ = その都市改造事業は狂い出す ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: あのサドラーズウェルズ系はピンポンだ
事実2: もし仮にその第一航空団がピンポンであるとすればあの都市改造事業は狂い出す
事実3: その第一航空団は狂い出す
事実4: その第一航空団はピンポンだ
事実5: その都市改造事業はピンポンである
事実6: その第一航空団は開示請求する

仮説: その都市改造事業は狂い出す
1. 事実2と事実4から、仮説が導かれる

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