そのワールド隼は自作するかマゾヒストでないかあるいはどちらもである
fact1: もしも「あのアッパーは奇襲しないしかつ分立するということはない」ということは間違いだとすればそのワールド隼は昔日でない fact2: 「花々だがしかしシンフォニーでない」ものはある fact3: あのアッパーは奇襲しないとすれば「それは臨床診断だけれど自作しない」ということは間違っている fact4: もし仮になにかは昔日でないなら「それは自作するかあるいはマゾヒストでない」ということは成り立つということはない fact5: もし仮に「あのアッパーは割り入れなくてその上借り入れない」ということは成り立たないとしたら分立しない fact6: 仮に「あのアッパーは奇襲するがしかしそれは昔日でない」ということは成り立たないならばその率は臨床診断である fact7: もし仮になんらかのものは分立するということはないとすれば「奇襲するし更に昔日でない」ということは誤りだ fact8: この十日条はシンフォニーでない fact9: 「あのアッパーは割り入れなくてかつそれは借り入れない」ということは間違っている fact10: 「もし仮に何らかのものは分立しないとすると「遅れ易くておまけに割り入れる」ということは偽である」ということは事実である fact11: 「もしその率は奇襲しないとしたら「あのアッパーは分立しないかあるいはそれは昔日であるかもしくは両方である」ということは間違いである」ということは事実である fact12: もしも花々がシンフォニーでないとすればこの十日条は遅れ易くない fact13: その率は分立する fact14: あの合い鴨は借り入れる fact15: もし仮にこの十日条は遅れ易くないとしたら「その率は読み易くないけど臨床診断だ」ということは誤りだ fact16: その率は昔日だ fact17: もしその率が読み易いとするとこの仕事運アップは自作する fact18: もしもこの仕事運アップが自作すればそのワールド隼は自作するかまたはマゾヒストでないかあるいは両方ともである
fact5 & fact9 -> int1: あのアッパーは分立しない; fact7 -> int2: もし「あのアッパーは分立する」ということは誤りだとすれば「奇襲するけれど昔日でない」ということは間違いだ; int1 & int2 -> int3: 「あのアッパーは奇襲する一方で昔日でない」ということは間違っている; int3 & fact6 -> int4: その率は臨床診断である; void -> assump1: 以下のように仮定する。その率は読み易くない; int4 & assump1 -> int5: その率は読み易いということはない一方でそれは臨床診断だ; fact2 & fact12 -> int6: この十日条は遅れ易くない; int6 & fact15 -> int7: 「その率は読み易くないけど臨床診断だ」ということは成り立たない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その率は読み易い」ということは誤っていない; int9 & fact17 -> int10: 「この仕事運アップは自作する」ということは成り立つ; int10 & fact18 -> hypothesis;
「そのワールド隼は自作するかあるいはマゾヒストでないかもしくは両方ともだ」ということは偽だ
$facts$ = fact1: もしも「あのアッパーは奇襲しないしかつ分立するということはない」ということは間違いだとすればそのワールド隼は昔日でない fact2: 「花々だがしかしシンフォニーでない」ものはある fact3: あのアッパーは奇襲しないとすれば「それは臨床診断だけれど自作しない」ということは間違っている fact4: もし仮になにかは昔日でないなら「それは自作するかあるいはマゾヒストでない」ということは成り立つということはない fact5: もし仮に「あのアッパーは割り入れなくてその上借り入れない」ということは成り立たないとしたら分立しない fact6: 仮に「あのアッパーは奇襲するがしかしそれは昔日でない」ということは成り立たないならばその率は臨床診断である fact7: もし仮になんらかのものは分立するということはないとすれば「奇襲するし更に昔日でない」ということは誤りだ fact8: この十日条はシンフォニーでない fact9: 「あのアッパーは割り入れなくてかつそれは借り入れない」ということは間違っている fact10: 「もし仮に何らかのものは分立しないとすると「遅れ易くておまけに割り入れる」ということは偽である」ということは事実である fact11: 「もしその率は奇襲しないとしたら「あのアッパーは分立しないかあるいはそれは昔日であるかもしくは両方である」ということは間違いである」ということは事実である fact12: もしも花々がシンフォニーでないとすればこの十日条は遅れ易くない fact13: その率は分立する fact14: あの合い鴨は借り入れる fact15: もし仮にこの十日条は遅れ易くないとしたら「その率は読み易くないけど臨床診断だ」ということは誤りだ fact16: その率は昔日だ fact17: もしその率が読み易いとするとこの仕事運アップは自作する fact18: もしもこの仕事運アップが自作すればそのワールド隼は自作するかまたはマゾヒストでないかあるいは両方ともである ; $hypothesis$ = そのワールド隼は自作するかマゾヒストでないかあるいはどちらもである ; $proof$ = 
fact5 & fact9 -> int1: あのアッパーは分立しない; fact7 -> int2: もし「あのアッパーは分立する」ということは誤りだとすれば「奇襲するけれど昔日でない」ということは間違いだ; int1 & int2 -> int3: 「あのアッパーは奇襲する一方で昔日でない」ということは間違っている; int3 & fact6 -> int4: その率は臨床診断である; void -> assump1: 以下のように仮定する。その率は読み易くない; int4 & assump1 -> int5: その率は読み易いということはない一方でそれは臨床診断だ; fact2 & fact12 -> int6: この十日条は遅れ易くない; int6 & fact15 -> int7: 「その率は読み易くないけど臨床診断だ」ということは成り立たない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その率は読み易い」ということは誤っていない; int9 & fact17 -> int10: 「この仕事運アップは自作する」ということは成り立つ; int10 & fact18 -> hypothesis; __PROVED__
事実1: もしも「あのアッパーは奇襲しないしかつ分立するということはない」ということは間違いだとすればそのワールド隼は昔日でない
事実2: 「花々だがしかしシンフォニーでない」ものはある
事実3: あのアッパーは奇襲しないとすれば「それは臨床診断だけれど自作しない」ということは間違っている
事実4: もし仮になにかは昔日でないなら「それは自作するかあるいはマゾヒストでない」ということは成り立つということはない
事実5: もし仮に「あのアッパーは割り入れなくてその上借り入れない」ということは成り立たないとしたら分立しない
事実6: 仮に「あのアッパーは奇襲するがしかしそれは昔日でない」ということは成り立たないならばその率は臨床診断である
事実7: もし仮になんらかのものは分立するということはないとすれば「奇襲するし更に昔日でない」ということは誤りだ
事実8: この十日条はシンフォニーでない
事実9: 「あのアッパーは割り入れなくてかつそれは借り入れない」ということは間違っている
事実10: 「もし仮に何らかのものは分立しないとすると「遅れ易くておまけに割り入れる」ということは偽である」ということは事実である
事実11: 「もしその率は奇襲しないとしたら「あのアッパーは分立しないかあるいはそれは昔日であるかもしくは両方である」ということは間違いである」ということは事実である
事実12: もしも花々がシンフォニーでないとすればこの十日条は遅れ易くない
事実13: その率は分立する
事実14: あの合い鴨は借り入れる
事実15: もし仮にこの十日条は遅れ易くないとしたら「その率は読み易くないけど臨床診断だ」ということは誤りだ
事実16: その率は昔日だ
事実17: もしその率が読み易いとするとこの仕事運アップは自作する
事実18: もしもこの仕事運アップが自作すればそのワールド隼は自作するかまたはマゾヒストでないかあるいは両方ともである

仮説: そのワールド隼は自作するかマゾヒストでないかあるいはどちらもである
1. 事実5と事実9から、推論1: "あのアッパーは分立しない"が導かれる
2. 事実7から、推論2: "もし「あのアッパーは分立する」ということは誤りだとすれば「奇襲するけれど昔日でない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "「あのアッパーは奇襲する一方で昔日でない」ということは間違っている"が導かれる
4. 推論3と事実6から、推論4: "その率は臨床診断である"が導かれる
5. 仮定1: 以下のように仮定する。その率は読み易くない
6. 推論4と仮定1から、推論5: "その率は読み易いということはない一方でそれは臨床診断だ"が導かれる
7. 事実2と事実12から、推論6: "この十日条は遅れ易くない"が導かれる
8. 推論6と事実15から、推論7: "「その率は読み易くないけど臨床診断だ」ということは成り立たない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「その率は読み易い」ということは誤っていない"が導かれる
11. 推論9と事実17から、推論10: "「この仕事運アップは自作する」ということは成り立つ"が導かれる
12. 推論10と事実18から、仮説が導かれる

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