その表意はすごーくない
fact1: もしすごーい物が集まり易いとすれば捕まえ易くない fact2: あの禅病は集まり易い fact3: もし仮にあの競合が群集化であるとすればその表意は集まり易い fact4: もしそのＲＦＣがカーテン越しであるならばその表意は吊耳鉄鍋である fact5: もしある物は吊耳鉄鍋であるとするとそれは捕まえ易い fact6: 仮にその陽法が缶汁であるならばあの競合は群集化だ fact7: 仮にこのヘッダーファイルがすごーくないとすればそれはハープシコードで缶汁だ fact8: その陽法は缶汁である fact9: そのＲＦＣはカーテン越しだ
fact6 & fact8 -> int1: あの競合は群集化だ; int1 & fact3 -> int2: その表意は集まり易い; void -> assump1: 以下のように仮定する。その表意はすごーい; int2 & assump1 -> int3: その表意はすごーいしさらに集まり易い; fact1 -> int4: 仮にその表意がすごーいしおまけに集まり易いならそれは捕まえ易いということはない; int3 & int4 -> int5: その表意は捕まえ易いということはない; fact9 & fact4 -> int6: その表意は吊耳鉄鍋である; fact5 -> int7: もし仮にその表意が吊耳鉄鍋ならそれは捕まえ易い; int6 & int7 -> int8: その表意は捕まえ易い; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
このヘッダーファイルがハープシコードだしそれにそれはウラル諸語だ
$facts$ = fact1: もしすごーい物が集まり易いとすれば捕まえ易くない fact2: あの禅病は集まり易い fact3: もし仮にあの競合が群集化であるとすればその表意は集まり易い fact4: もしそのＲＦＣがカーテン越しであるならばその表意は吊耳鉄鍋である fact5: もしある物は吊耳鉄鍋であるとするとそれは捕まえ易い fact6: 仮にその陽法が缶汁であるならばあの競合は群集化だ fact7: 仮にこのヘッダーファイルがすごーくないとすればそれはハープシコードで缶汁だ fact8: その陽法は缶汁である fact9: そのＲＦＣはカーテン越しだ ; $hypothesis$ = その表意はすごーくない ; $proof$ = 
fact6 & fact8 -> int1: あの競合は群集化だ; int1 & fact3 -> int2: その表意は集まり易い; void -> assump1: 以下のように仮定する。その表意はすごーい; int2 & assump1 -> int3: その表意はすごーいしさらに集まり易い; fact1 -> int4: 仮にその表意がすごーいしおまけに集まり易いならそれは捕まえ易いということはない; int3 & int4 -> int5: その表意は捕まえ易いということはない; fact9 & fact4 -> int6: その表意は吊耳鉄鍋である; fact5 -> int7: もし仮にその表意が吊耳鉄鍋ならそれは捕まえ易い; int6 & int7 -> int8: その表意は捕まえ易い; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしすごーい物が集まり易いとすれば捕まえ易くない
事実2: あの禅病は集まり易い
事実3: もし仮にあの競合が群集化であるとすればその表意は集まり易い
事実4: もしそのＲＦＣがカーテン越しであるならばその表意は吊耳鉄鍋である
事実5: もしある物は吊耳鉄鍋であるとするとそれは捕まえ易い
事実6: 仮にその陽法が缶汁であるならばあの競合は群集化だ
事実7: 仮にこのヘッダーファイルがすごーくないとすればそれはハープシコードで缶汁だ
事実8: その陽法は缶汁である
事実9: そのＲＦＣはカーテン越しだ

仮説: その表意はすごーくない
1. 事実6と事実8から、推論1: "あの競合は群集化だ"が導かれる
2. 推論1と事実3から、推論2: "その表意は集まり易い"が導かれる
3. 仮定1: 以下のように仮定する。その表意はすごーい
4. 推論2と仮定1から、推論3: "その表意はすごーいしさらに集まり易い"が導かれる
5. 事実1から、推論4: "仮にその表意がすごーいしおまけに集まり易いならそれは捕まえ易いということはない"が導かれる
6. 推論3と推論4から、推論5: "その表意は捕まえ易いということはない"が導かれる
7. 事実9と事実4から、推論6: "その表意は吊耳鉄鍋である"が導かれる
8. 事実5から、推論7: "もし仮にその表意が吊耳鉄鍋ならそれは捕まえ易い"が導かれる
9. 推論6と推論7から、推論8: "その表意は捕まえ易い"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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