「その鉄道王は清算金でないかまたはほろ苦いということはないかまたは両方ともである」ということは成り立つということはない
fact1: 「その第五話はだらし無いしそれはほろ苦い」ということは成り立たないならばあの狙撃兵はだらし無くない fact2: もしもこの取り分が若者らしくないとすればそれは生成し易いしそれは誘発し易い fact3: 仮に「この取り分はスコープでない」ということは本当であるならばこの狙撃兵はスコープであるしだらし無い fact4: 「「守り易くなくてその上ストーリー性でない」ということは間違いな」物はある fact5: 仮に「「守り易くないしストーリー性でない」ということは事実でない」ものがあるならこの取り分は誘発し易くない fact6: もしもこの狙撃兵は守り易いなら「この取り分はだらし無いがしかし若者らしくない」ということは偽である fact7: 「スコープは聞き易い」ということは事実と異ならない fact8: もしこの狙撃兵が聞き易いならばその第五話は若者らしい fact9: もしこの取り分が聞き易くないとしたら誘発し易いということはない一方でスコープである fact10: もしもこの取り分がスコープだとすればそれは誘発し易い fact11: もしも「「守り易い」ということは真実である」ものがあるならばあの取り分は誘発し易くない fact12: 仮に「この狙撃兵はだらし無くない」ということは事実であるならばこの取り分が聞き易いしその上スコープである fact13: もし仮に「その第五話は若者らしい」ということは誤りでないなら「その鉄道王は清算金であるということはないかまたはほろ苦くないかあるいは両方ともである」ということは間違いだ
void -> assump1: 以下のように仮定する。この取り分はスコープである; fact10 & assump1 -> int1: この取り分は誘発し易い; fact4 & fact5 -> int2: この取り分は誘発し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り分はスコープでない; int4 & fact3 -> int5: この狙撃兵はスコープであるしだらし無い; int5 -> int6: この狙撃兵はスコープである; fact7 -> int7: もしもこの狙撃兵はスコープであるとすれば聞き易い; int6 & int7 -> int8: この狙撃兵は聞き易い; int8 & fact8 -> int9: その第五話は若者らしい; int9 & fact13 -> hypothesis;
その鉄道王は清算金でないかそれはほろ苦くない
$facts$ = fact1: 「その第五話はだらし無いしそれはほろ苦い」ということは成り立たないならばあの狙撃兵はだらし無くない fact2: もしもこの取り分が若者らしくないとすればそれは生成し易いしそれは誘発し易い fact3: 仮に「この取り分はスコープでない」ということは本当であるならばこの狙撃兵はスコープであるしだらし無い fact4: 「「守り易くなくてその上ストーリー性でない」ということは間違いな」物はある fact5: 仮に「「守り易くないしストーリー性でない」ということは事実でない」ものがあるならこの取り分は誘発し易くない fact6: もしもこの狙撃兵は守り易いなら「この取り分はだらし無いがしかし若者らしくない」ということは偽である fact7: 「スコープは聞き易い」ということは事実と異ならない fact8: もしこの狙撃兵が聞き易いならばその第五話は若者らしい fact9: もしこの取り分が聞き易くないとしたら誘発し易いということはない一方でスコープである fact10: もしもこの取り分がスコープだとすればそれは誘発し易い fact11: もしも「「守り易い」ということは真実である」ものがあるならばあの取り分は誘発し易くない fact12: 仮に「この狙撃兵はだらし無くない」ということは事実であるならばこの取り分が聞き易いしその上スコープである fact13: もし仮に「その第五話は若者らしい」ということは誤りでないなら「その鉄道王は清算金であるということはないかまたはほろ苦くないかあるいは両方ともである」ということは間違いだ ; $hypothesis$ = 「その鉄道王は清算金でないかまたはほろ苦いということはないかまたは両方ともである」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この取り分はスコープである; fact10 & assump1 -> int1: この取り分は誘発し易い; fact4 & fact5 -> int2: この取り分は誘発し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り分はスコープでない; int4 & fact3 -> int5: この狙撃兵はスコープであるしだらし無い; int5 -> int6: この狙撃兵はスコープである; fact7 -> int7: もしもこの狙撃兵はスコープであるとすれば聞き易い; int6 & int7 -> int8: この狙撃兵は聞き易い; int8 & fact8 -> int9: その第五話は若者らしい; int9 & fact13 -> hypothesis; __PROVED__
事実1: 「その第五話はだらし無いしそれはほろ苦い」ということは成り立たないならばあの狙撃兵はだらし無くない
事実2: もしもこの取り分が若者らしくないとすればそれは生成し易いしそれは誘発し易い
事実3: 仮に「この取り分はスコープでない」ということは本当であるならばこの狙撃兵はスコープであるしだらし無い
事実4: 「「守り易くなくてその上ストーリー性でない」ということは間違いな」物はある
事実5: 仮に「「守り易くないしストーリー性でない」ということは事実でない」ものがあるならこの取り分は誘発し易くない
事実6: もしもこの狙撃兵は守り易いなら「この取り分はだらし無いがしかし若者らしくない」ということは偽である
事実7: 「スコープは聞き易い」ということは事実と異ならない
事実8: もしこの狙撃兵が聞き易いならばその第五話は若者らしい
事実9: もしこの取り分が聞き易くないとしたら誘発し易いということはない一方でスコープである
事実10: もしもこの取り分がスコープだとすればそれは誘発し易い
事実11: もしも「「守り易い」ということは真実である」ものがあるならばあの取り分は誘発し易くない
事実12: 仮に「この狙撃兵はだらし無くない」ということは事実であるならばこの取り分が聞き易いしその上スコープである
事実13: もし仮に「その第五話は若者らしい」ということは誤りでないなら「その鉄道王は清算金であるということはないかまたはほろ苦くないかあるいは両方ともである」ということは間違いだ

仮説: 「その鉄道王は清算金でないかまたはほろ苦いということはないかまたは両方ともである」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この取り分はスコープである
2. 事実10と仮定1から、推論1: "この取り分は誘発し易い"が導かれる
3. 事実4と事実5から、推論2: "この取り分は誘発し易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この取り分はスコープでない"が導かれる
6. 推論4と事実3から、推論5: "この狙撃兵はスコープであるしだらし無い"が導かれる
7. 推論5から、推論6: "この狙撃兵はスコープである"が導かれる
8. 事実7から、推論7: "もしもこの狙撃兵はスコープであるとすれば聞き易い"が導かれる
9. 推論6と推論7から、推論8: "この狙撃兵は聞き易い"が導かれる
10. 推論8と事実8から、推論9: "その第五話は若者らしい"が導かれる
11. 推論9と事実13から、仮説が導かれる

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