この千人余りは暗しが生温かくない
fact1: この千人余りが雪崩れ込むとするとこの重大問題は生温かい fact2: もしもこの閣僚人事はおっきいがしかし招き易くないとすると「それは雪崩れ込む」ということは誤りでない fact3: もしもこの重大問題が雪崩れ込むとするとこのＫタームはおっきい fact4: もし仮にこのＫタームがおっきいならばこの千人余りは暗し fact5: 「この定番中は同意権であるということはないけど生温かい」ということは成り立たない fact6: この閣僚人事は名著である fact7: もしこの閣僚人事が招き易いということはないとするとこの重大問題は雪崩れ込む fact8: もし仮にとあるものが雪崩れ込むとしたら生温かい fact9: もしもこの重大問題が名著でないとするとこの閣僚人事は雪崩れ込む fact10: 「同意権でない一方で生温かい」物はある fact11: 「この重大問題は恙無くない」ということは正しくない fact12: 「招き易い物は雪崩れ込まない」ということは本当だ fact13: おっきいものは招き易い fact14: もしもこの千人余りが同意権でないならばそれはおっきいしかつそれは故無い fact15: もしも「「同意権でないけど生温かい」ということは誤りである」ものがあるとすればこの千人余りは生温かくない fact16: もしも「生温かくない」物があるとすればあの千人余りは生温かくない fact17: この閣僚人事は恙無くないけど名著だ fact18: もし恙無くない物が名著だとすればそれは招き易くない fact19: 仮に「「生温かくないし更におっきい」ということは偽である」ものがあるとすればこの定番中はおっきいということはない fact20: 「「同意権で生温かい」ということは正しくない」物はある
fact18 -> int1: もし仮にこの閣僚人事は恙無くないがしかし名著だとすると招き易くない; int1 & fact17 -> int2: この閣僚人事は招き易くない; int2 & fact7 -> int3: この重大問題は雪崩れ込む; int3 & fact3 -> int4: このＫタームはおっきい; int4 & fact4 -> int5: この千人余りは暗し; fact5 -> int6: 「「同意権でないしおまけに生温かい」ということは成り立たない」ものはある; fact15 & int6 -> int7: この千人余りは生温かいということはない; int5 & int7 -> hypothesis;
「この千人余りは暗しけど生温かくない」ということは成り立たない
fact23 -> int8: もしこの千人余りが招き易いなら雪崩れ込むということはない; fact22 -> int9: もし仮にこの千人余りがおっきいとすれば招き易い;
$facts$ = fact1: この千人余りが雪崩れ込むとするとこの重大問題は生温かい fact2: もしもこの閣僚人事はおっきいがしかし招き易くないとすると「それは雪崩れ込む」ということは誤りでない fact3: もしもこの重大問題が雪崩れ込むとするとこのＫタームはおっきい fact4: もし仮にこのＫタームがおっきいならばこの千人余りは暗し fact5: 「この定番中は同意権であるということはないけど生温かい」ということは成り立たない fact6: この閣僚人事は名著である fact7: もしこの閣僚人事が招き易いということはないとするとこの重大問題は雪崩れ込む fact8: もし仮にとあるものが雪崩れ込むとしたら生温かい fact9: もしもこの重大問題が名著でないとするとこの閣僚人事は雪崩れ込む fact10: 「同意権でない一方で生温かい」物はある fact11: 「この重大問題は恙無くない」ということは正しくない fact12: 「招き易い物は雪崩れ込まない」ということは本当だ fact13: おっきいものは招き易い fact14: もしもこの千人余りが同意権でないならばそれはおっきいしかつそれは故無い fact15: もしも「「同意権でないけど生温かい」ということは誤りである」ものがあるとすればこの千人余りは生温かくない fact16: もしも「生温かくない」物があるとすればあの千人余りは生温かくない fact17: この閣僚人事は恙無くないけど名著だ fact18: もし恙無くない物が名著だとすればそれは招き易くない fact19: 仮に「「生温かくないし更におっきい」ということは偽である」ものがあるとすればこの定番中はおっきいということはない fact20: 「「同意権で生温かい」ということは正しくない」物はある ; $hypothesis$ = この千人余りは暗しが生温かくない ; $proof$ = 
fact18 -> int1: もし仮にこの閣僚人事は恙無くないがしかし名著だとすると招き易くない; int1 & fact17 -> int2: この閣僚人事は招き易くない; int2 & fact7 -> int3: この重大問題は雪崩れ込む; int3 & fact3 -> int4: このＫタームはおっきい; int4 & fact4 -> int5: この千人余りは暗し; fact5 -> int6: 「「同意権でないしおまけに生温かい」ということは成り立たない」ものはある; fact15 & int6 -> int7: この千人余りは生温かいということはない; int5 & int7 -> hypothesis; __PROVED__
事実1: この千人余りが雪崩れ込むとするとこの重大問題は生温かい
事実2: もしもこの閣僚人事はおっきいがしかし招き易くないとすると「それは雪崩れ込む」ということは誤りでない
事実3: もしもこの重大問題が雪崩れ込むとするとこのＫタームはおっきい
事実4: もし仮にこのＫタームがおっきいならばこの千人余りは暗し
事実5: 「この定番中は同意権であるということはないけど生温かい」ということは成り立たない
事実6: この閣僚人事は名著である
事実7: もしこの閣僚人事が招き易いということはないとするとこの重大問題は雪崩れ込む
事実8: もし仮にとあるものが雪崩れ込むとしたら生温かい
事実9: もしもこの重大問題が名著でないとするとこの閣僚人事は雪崩れ込む
事実10: 「同意権でない一方で生温かい」物はある
事実11: 「この重大問題は恙無くない」ということは正しくない
事実12: 「招き易い物は雪崩れ込まない」ということは本当だ
事実13: おっきいものは招き易い
事実14: もしもこの千人余りが同意権でないならばそれはおっきいしかつそれは故無い
事実15: もしも「「同意権でないけど生温かい」ということは誤りである」ものがあるとすればこの千人余りは生温かくない
事実16: もしも「生温かくない」物があるとすればあの千人余りは生温かくない
事実17: この閣僚人事は恙無くないけど名著だ
事実18: もし恙無くない物が名著だとすればそれは招き易くない
事実19: 仮に「「生温かくないし更におっきい」ということは偽である」ものがあるとすればこの定番中はおっきいということはない
事実20: 「「同意権で生温かい」ということは正しくない」物はある

仮説: この千人余りは暗しが生温かくない
1. 事実18から、推論1: "もし仮にこの閣僚人事は恙無くないがしかし名著だとすると招き易くない"が導かれる
2. 推論1と事実17から、推論2: "この閣僚人事は招き易くない"が導かれる
3. 推論2と事実7から、推論3: "この重大問題は雪崩れ込む"が導かれる
4. 推論3と事実3から、推論4: "このＫタームはおっきい"が導かれる
5. 推論4と事実4から、推論5: "この千人余りは暗し"が導かれる
6. 事実5から、推論6: "「「同意権でないしおまけに生温かい」ということは成り立たない」ものはある"が導かれる
7. 事実15と推論6から、推論7: "この千人余りは生温かいということはない"が導かれる
8. 推論5と推論7から、仮説が導かれる

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