この棒切れは空母ホーネットである
fact1: 「この棒切れは収入する」ということは成り立つ fact2: 「その寮監は空母ホーネットである」ということは成り立つ fact3: 仮になにがしかのものが与し易いとすれば免れる fact4: その寮監は収入するし与し易い fact5: この棒切れは与し易い fact6: この棒切れは免れる fact7: もしもその寮監が免れるとしたらこの棒切れは空母ホーネットである
fact4 -> int1: その寮監は与し易い; fact3 -> int2: もしその寮監が与し易いとしたらそれは免れる; int1 & int2 -> int3: その寮監は免れる; int3 & fact7 -> hypothesis;
fact4 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact7 -> hypothesis;
$facts$ = fact1: 「この棒切れは収入する」ということは成り立つ fact2: 「その寮監は空母ホーネットである」ということは成り立つ fact3: 仮になにがしかのものが与し易いとすれば免れる fact4: その寮監は収入するし与し易い fact5: この棒切れは与し易い fact6: この棒切れは免れる fact7: もしもその寮監が免れるとしたらこの棒切れは空母ホーネットである ; $hypothesis$ = この棒切れは空母ホーネットである ; $proof$ = 
fact4 -> int1: その寮監は与し易い; fact3 -> int2: もしその寮監が与し易いとしたらそれは免れる; int1 & int2 -> int3: その寮監は免れる; int3 & fact7 -> hypothesis; __PROVED__
事実1: 「この棒切れは収入する」ということは成り立つ
事実2: 「その寮監は空母ホーネットである」ということは成り立つ
事実3: 仮になにがしかのものが与し易いとすれば免れる
事実4: その寮監は収入するし与し易い
事実5: この棒切れは与し易い
事実6: この棒切れは免れる
事実7: もしもその寮監が免れるとしたらこの棒切れは空母ホーネットである

仮説: この棒切れは空母ホーネットである
1. 事実4から、推論1: "その寮監は与し易い"が導かれる
2. 事実3から、推論2: "もしその寮監が与し易いとしたらそれは免れる"が導かれる
3. 推論1と推論2から、推論3: "その寮監は免れる"が導かれる
4. 推論3と事実7から、仮説が導かれる

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