「その秘策は図々しかない」ということは確かだ
fact1: 仮にその秘策が飛行機らしいとするとそれは動き難い fact2: あの精神分析家は飛行機らしい fact3: その秘策が動き難いとしたらそれは図々しかない fact4: その秘策はＣＧセクションであるし加えて飛行機らしい
fact4 -> int1: その秘策は飛行機らしい; int1 & fact1 -> int2: その秘策は動き難い; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にその秘策が飛行機らしいとするとそれは動き難い fact2: あの精神分析家は飛行機らしい fact3: その秘策が動き難いとしたらそれは図々しかない fact4: その秘策はＣＧセクションであるし加えて飛行機らしい ; $hypothesis$ = 「その秘策は図々しかない」ということは確かだ ; $proof$ = 
fact4 -> int1: その秘策は飛行機らしい; int1 & fact1 -> int2: その秘策は動き難い; int2 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその秘策が飛行機らしいとするとそれは動き難い
事実2: あの精神分析家は飛行機らしい
事実3: その秘策が動き難いとしたらそれは図々しかない
事実4: その秘策はＣＧセクションであるし加えて飛行機らしい

仮説: 「その秘策は図々しかない」ということは確かだ
1. 事実4から、推論1: "その秘策は飛行機らしい"が導かれる
2. 推論1と事実1から、推論2: "その秘策は動き難い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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