あのＮＩＣＵは捗々しくない
fact1: 「ＺＩＰコマンドな」物はある fact2: 「あのＮＩＣＵは収集するしまたそれは見劣りする」ということは成り立つ fact3: この有意水準はひもじくないし流され易くない fact4: 何らかの物は見劣りする fact5: 「「流され易い」ものはある」ということは成り立つ fact6: 仮にこの農林大臣が学士であるかそれが忘れ易いか両方だとするとこの有意水準は脳脊髄液中でない fact7: もしもとあるものが見劣りするしかつそれが捗々しいとしたらこの農林大臣は忘れ易い fact8: あの授業時間は流され易い fact9: 「この有意水準はひもじくない」ということは本当であるならば御寂しいし脳脊髄液中だ
fact2 -> int1: あのＮＩＣＵは見劣りする; void -> assump1: 以下のように仮定する。あのＮＩＣＵは捗々しい; int1 & assump1 -> int2: あのＮＩＣＵは見劣りするしそれは捗々しい; int2 -> int3: なにがしかの物は見劣りするし捗々しい; int3 & fact7 -> int4: この農林大臣は忘れ易い; int4 -> int5: この農林大臣は学士であるかまたはそれは忘れ易いかどちらもだ; int5 & fact6 -> int6: この有意水準は脳脊髄液中でない; fact3 -> int7: この有意水準はひもじくない; fact9 & int7 -> int8: この有意水準は御寂しいし脳脊髄液中である; int8 -> int9: この有意水準は脳脊髄液中だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$facts$ = fact1: 「ＺＩＰコマンドな」物はある fact2: 「あのＮＩＣＵは収集するしまたそれは見劣りする」ということは成り立つ fact3: この有意水準はひもじくないし流され易くない fact4: 何らかの物は見劣りする fact5: 「「流され易い」ものはある」ということは成り立つ fact6: 仮にこの農林大臣が学士であるかそれが忘れ易いか両方だとするとこの有意水準は脳脊髄液中でない fact7: もしもとあるものが見劣りするしかつそれが捗々しいとしたらこの農林大臣は忘れ易い fact8: あの授業時間は流され易い fact9: 「この有意水準はひもじくない」ということは本当であるならば御寂しいし脳脊髄液中だ ; $hypothesis$ = あのＮＩＣＵは捗々しくない ; $proof$ = 
fact2 -> int1: あのＮＩＣＵは見劣りする; void -> assump1: 以下のように仮定する。あのＮＩＣＵは捗々しい; int1 & assump1 -> int2: あのＮＩＣＵは見劣りするしそれは捗々しい; int2 -> int3: なにがしかの物は見劣りするし捗々しい; int3 & fact7 -> int4: この農林大臣は忘れ易い; int4 -> int5: この農林大臣は学士であるかまたはそれは忘れ易いかどちらもだ; int5 & fact6 -> int6: この有意水準は脳脊髄液中でない; fact3 -> int7: この有意水準はひもじくない; fact9 & int7 -> int8: この有意水準は御寂しいし脳脊髄液中である; int8 -> int9: この有意水準は脳脊髄液中だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 「ＺＩＰコマンドな」物はある
事実2: 「あのＮＩＣＵは収集するしまたそれは見劣りする」ということは成り立つ
事実3: この有意水準はひもじくないし流され易くない
事実4: 何らかの物は見劣りする
事実5: 「「流され易い」ものはある」ということは成り立つ
事実6: 仮にこの農林大臣が学士であるかそれが忘れ易いか両方だとするとこの有意水準は脳脊髄液中でない
事実7: もしもとあるものが見劣りするしかつそれが捗々しいとしたらこの農林大臣は忘れ易い
事実8: あの授業時間は流され易い
事実9: 「この有意水準はひもじくない」ということは本当であるならば御寂しいし脳脊髄液中だ

仮説: あのＮＩＣＵは捗々しくない
1. 事実2から、推論1: "あのＮＩＣＵは見劣りする"が導かれる
2. 仮定1: 以下のように仮定する。あのＮＩＣＵは捗々しい
3. 推論1と仮定1から、推論2: "あのＮＩＣＵは見劣りするしそれは捗々しい"が導かれる
4. 推論2から、推論3: "なにがしかの物は見劣りするし捗々しい"が導かれる
5. 推論3と事実7から、推論4: "この農林大臣は忘れ易い"が導かれる
6. 推論4から、推論5: "この農林大臣は学士であるかまたはそれは忘れ易いかどちらもだ"が導かれる
7. 推論5と事実6から、推論6: "この有意水準は脳脊髄液中でない"が導かれる
8. 事実3から、推論7: "この有意水準はひもじくない"が導かれる
9. 事実9と推論7から、推論8: "この有意水準は御寂しいし脳脊髄液中である"が導かれる
10. 推論8から、推論9: "この有意水準は脳脊髄液中だ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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