この二十四集は動揺し易いものでしかも管末でない
fact1: もしもなんらかの物は聖母子でないなら「動揺し易いし管末でない」ということは誤りである fact2: 何かは花ちゃんでない fact3: 聖母子は動揺し易いがしかし管末でない fact4: ある物が花ちゃんだ一方でそれはリンク列ヘッダでないなら「聖母子でない」ということは事実である fact5: もし仮に「花ちゃんでない」物はあるとすれば「この二十四集は聖母子だ」ということは間違いだということはない fact6: この二十四集は動揺し易い fact7: もし仮にこの二十四集が聖母子だとしたらそれは動揺し易い fact8: 花ちゃんはある fact9: 「聖母子でない」物があるとすればあの医局員はバイナリファイルだ
fact3 -> int1: もしこの二十四集が聖母子なら動揺し易い一方で管末でない; fact5 & fact2 -> int2: この二十四集は聖母子である; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 & fact2 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「この二十四集は動揺し易い一方で管末でない」ということは事実と異なる
fact10 -> int3: もし仮にこの二十四集は聖母子でないとすれば「動揺し易いけれど管末でない」ということは間違っている; fact11 -> int4: もしもこの二十四集が花ちゃんだけれどそれはリンク列ヘッダでないなら聖母子でない;
$facts$ = fact1: もしもなんらかの物は聖母子でないなら「動揺し易いし管末でない」ということは誤りである fact2: 何かは花ちゃんでない fact3: 聖母子は動揺し易いがしかし管末でない fact4: ある物が花ちゃんだ一方でそれはリンク列ヘッダでないなら「聖母子でない」ということは事実である fact5: もし仮に「花ちゃんでない」物はあるとすれば「この二十四集は聖母子だ」ということは間違いだということはない fact6: この二十四集は動揺し易い fact7: もし仮にこの二十四集が聖母子だとしたらそれは動揺し易い fact8: 花ちゃんはある fact9: 「聖母子でない」物があるとすればあの医局員はバイナリファイルだ ; $hypothesis$ = この二十四集は動揺し易いものでしかも管末でない ; $proof$ = 
fact3 -> int1: もしこの二十四集が聖母子なら動揺し易い一方で管末でない; fact5 & fact2 -> int2: この二十四集は聖母子である; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は聖母子でないなら「動揺し易いし管末でない」ということは誤りである
事実2: 何かは花ちゃんでない
事実3: 聖母子は動揺し易いがしかし管末でない
事実4: ある物が花ちゃんだ一方でそれはリンク列ヘッダでないなら「聖母子でない」ということは事実である
事実5: もし仮に「花ちゃんでない」物はあるとすれば「この二十四集は聖母子だ」ということは間違いだということはない
事実6: この二十四集は動揺し易い
事実7: もし仮にこの二十四集が聖母子だとしたらそれは動揺し易い
事実8: 花ちゃんはある
事実9: 「聖母子でない」物があるとすればあの医局員はバイナリファイルだ

仮説: この二十四集は動揺し易いものでしかも管末でない
1. 事実3から、推論1: "もしこの二十四集が聖母子なら動揺し易い一方で管末でない"が導かれる
2. 事実5と事実2から、推論2: "この二十四集は聖母子である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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