その西門は帰還する
fact1: もし仮にこの決勝戦が得するということはないとしたらその西門は帰還する fact2: あの適用領域は帰還する fact3: 「その将来像は黒っぽい」ということは本当である fact4: 仮にその将来像が黒っぽいとしたらこの決勝戦は得しないかもしくは通観しないかどちらもである fact5: もしこの決勝戦が通観しないとしたらその西門は帰還する
fact4 & fact3 -> int1: この決勝戦は得しないかまたは通観するということはない; int1 & fact1 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこの決勝戦が得するということはないとしたらその西門は帰還する fact2: あの適用領域は帰還する fact3: 「その将来像は黒っぽい」ということは本当である fact4: 仮にその将来像が黒っぽいとしたらこの決勝戦は得しないかもしくは通観しないかどちらもである fact5: もしこの決勝戦が通観しないとしたらその西門は帰還する ; $hypothesis$ = その西門は帰還する ; $proof$ = 
fact4 & fact3 -> int1: この決勝戦は得しないかまたは通観するということはない; int1 & fact1 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの決勝戦が得するということはないとしたらその西門は帰還する
事実2: あの適用領域は帰還する
事実3: 「その将来像は黒っぽい」ということは本当である
事実4: 仮にその将来像が黒っぽいとしたらこの決勝戦は得しないかもしくは通観しないかどちらもである
事実5: もしこの決勝戦が通観しないとしたらその西門は帰還する

仮説: その西門は帰還する
1. 事実4と事実3から、推論1: "この決勝戦は得しないかまたは通観するということはない"が導かれる
2. 推論1と事実1と事実5から、仮説が導かれる

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