「とある物は党特別大会である」ということは成り立つ
fact1: とあるものは本当らしい fact2: もしこの一党がひょろ長いとするとその年次報告は党特別大会である fact3: もしあのハンガーが返答するとすればこの一党はひょろ長い fact4: あのハンガーは返答する
fact3 & fact4 -> int1: 「この一党はひょろ長い」ということは成り立つ; int1 & fact2 -> int2: その年次報告は党特別大会である; int2 -> hypothesis;
$facts$ = fact1: とあるものは本当らしい fact2: もしこの一党がひょろ長いとするとその年次報告は党特別大会である fact3: もしあのハンガーが返答するとすればこの一党はひょろ長い fact4: あのハンガーは返答する ; $hypothesis$ = 「とある物は党特別大会である」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: 「この一党はひょろ長い」ということは成り立つ; int1 & fact2 -> int2: その年次報告は党特別大会である; int2 -> hypothesis; __PROVED__
事実1: とあるものは本当らしい
事実2: もしこの一党がひょろ長いとするとその年次報告は党特別大会である
事実3: もしあのハンガーが返答するとすればこの一党はひょろ長い
事実4: あのハンガーは返答する

仮説: 「とある物は党特別大会である」ということは成り立つ
1. 事実3と事実4から、推論1: "「この一党はひょろ長い」ということは成り立つ"が導かれる
2. 推論1と事実2から、推論2: "その年次報告は党特別大会である"が導かれる
3. 推論2から、仮説が導かれる

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