あの天書は持ち出せる
fact1: もし「ある物はちぎれるがしかし生き辛くない」ということは事実と異なればそれはちぎれない fact2: 「複数指定しないしさらに信じ難くない」物はある fact3: その交配前後はモダン・ジャズでないけど事業化出来る fact4: もしこの天手古舞は事業化出来るということはないとすれば「あのオーダーＳはこっ酷いしおまけに香る」ということは間違っている fact5: もし仮にあの天書がちぎれるとすればあの術師は相関性だということはない fact6: 「あの術師は思い出し為さるけど退色し易くない」ということは誤りだとすれば算定し難くない fact7: もしその交配前後がモダン・ジャズでないけれど事業化出来るならばあの天手古舞は事業化出来ない fact8: 「ちぎれないし相関性な」ものはある fact9: もし仮に信じ難くないものが飛び出し掛けるとすればそれは思い直さない fact10: このＸ線診断は思い直さない fact11: 算定し難くないものは灯し難くて更に飛び出し掛ける fact12: 何らかのものは思い直さないとしたら「それはちぎれるしそれにそれは生き辛くない」ということは誤りである fact13: あのオーダーＳは思い直さない fact14: あの天書は卑しない fact15: 何らかの物は相関性でない fact16: 仮に何らかの物は生き辛くないとすれば「それは相関性でないしそれはちぎれるということはない」ということは真実でない fact17: もし仮にあの術師がちぎれないならあの天書は相関性でないが持ち出せる fact18: 仮に何かはちぎれないしその上相関性でないとするとあのオーダーＳは思い直す fact19: 仮にあの天書がちぎれるとするとあの術師はちぎれなくて相関性でない fact20: 「あの天書は卑し」ということは事実ならばそれはちぎれる fact21: もし「あのオーダーＳはこっ酷くて更に香る」ということは事実と異なれば「あの術師は信じ難くない」ということは本当である fact22: 「何かは卑しないし持ち出せない」ということは間違いならそれはちぎれる
fact22 -> int1: もし「あの天書は卑しということはないしかつそれは持ち出せるということはない」ということは本当でないとしたらそれはちぎれる; void -> assump1: 以下のように仮定する。「あの天書は卑しないしそれに持ち出せない」ということは偽である; int1 & assump1 -> int2: あの天書はちぎれる; int2 & fact19 -> int3: あの術師はちぎれないしまた相関性でない; int3 -> int4: 「ちぎれなくてしかも相関性でない」物はある; int4 & fact18 -> int5: あのオーダーＳは思い直す; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの天書は卑しないし持ち出せない; int7 -> hypothesis;
あの天書は持ち出せる
fact32 -> int8: もしも「あの術師はちぎれるけど生き辛くない」ということは成り立たないならばちぎれない; fact23 -> int9: もし仮に「あの術師は思い直さない」ということは間違っていないなら「それはちぎれる一方で生き辛いということはない」ということは嘘だ; fact29 -> int10: もしもあの術師は信じ難くないがしかし飛び出し掛けるとするとそれは思い直さない; fact31 & fact25 -> int11: この天手古舞は事業化出来るということはない; fact26 & int11 -> int12: 「あのオーダーＳはこっ酷くて更に香る」ということは嘘である; fact30 & int12 -> int13: あの術師は信じ難いということはない; fact28 -> int14: もし仮にあの術師は算定し難くないとしたら灯し難くてかつ飛び出し掛ける;
$facts$ = fact1: もし「ある物はちぎれるがしかし生き辛くない」ということは事実と異なればそれはちぎれない fact2: 「複数指定しないしさらに信じ難くない」物はある fact3: その交配前後はモダン・ジャズでないけど事業化出来る fact4: もしこの天手古舞は事業化出来るということはないとすれば「あのオーダーＳはこっ酷いしおまけに香る」ということは間違っている fact5: もし仮にあの天書がちぎれるとすればあの術師は相関性だということはない fact6: 「あの術師は思い出し為さるけど退色し易くない」ということは誤りだとすれば算定し難くない fact7: もしその交配前後がモダン・ジャズでないけれど事業化出来るならばあの天手古舞は事業化出来ない fact8: 「ちぎれないし相関性な」ものはある fact9: もし仮に信じ難くないものが飛び出し掛けるとすればそれは思い直さない fact10: このＸ線診断は思い直さない fact11: 算定し難くないものは灯し難くて更に飛び出し掛ける fact12: 何らかのものは思い直さないとしたら「それはちぎれるしそれにそれは生き辛くない」ということは誤りである fact13: あのオーダーＳは思い直さない fact14: あの天書は卑しない fact15: 何らかの物は相関性でない fact16: 仮に何らかの物は生き辛くないとすれば「それは相関性でないしそれはちぎれるということはない」ということは真実でない fact17: もし仮にあの術師がちぎれないならあの天書は相関性でないが持ち出せる fact18: 仮に何かはちぎれないしその上相関性でないとするとあのオーダーＳは思い直す fact19: 仮にあの天書がちぎれるとするとあの術師はちぎれなくて相関性でない fact20: 「あの天書は卑し」ということは事実ならばそれはちぎれる fact21: もし「あのオーダーＳはこっ酷くて更に香る」ということは事実と異なれば「あの術師は信じ難くない」ということは本当である fact22: 「何かは卑しないし持ち出せない」ということは間違いならそれはちぎれる ; $hypothesis$ = あの天書は持ち出せる ; $proof$ = 
fact22 -> int1: もし「あの天書は卑しということはないしかつそれは持ち出せるということはない」ということは本当でないとしたらそれはちぎれる; void -> assump1: 以下のように仮定する。「あの天書は卑しないしそれに持ち出せない」ということは偽である; int1 & assump1 -> int2: あの天書はちぎれる; int2 & fact19 -> int3: あの術師はちぎれないしまた相関性でない; int3 -> int4: 「ちぎれなくてしかも相関性でない」物はある; int4 & fact18 -> int5: あのオーダーＳは思い直す; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの天書は卑しないし持ち出せない; int7 -> hypothesis; __DISPROVED__
事実1: もし「ある物はちぎれるがしかし生き辛くない」ということは事実と異なればそれはちぎれない
事実2: 「複数指定しないしさらに信じ難くない」物はある
事実3: その交配前後はモダン・ジャズでないけど事業化出来る
事実4: もしこの天手古舞は事業化出来るということはないとすれば「あのオーダーＳはこっ酷いしおまけに香る」ということは間違っている
事実5: もし仮にあの天書がちぎれるとすればあの術師は相関性だということはない
事実6: 「あの術師は思い出し為さるけど退色し易くない」ということは誤りだとすれば算定し難くない
事実7: もしその交配前後がモダン・ジャズでないけれど事業化出来るならばあの天手古舞は事業化出来ない
事実8: 「ちぎれないし相関性な」ものはある
事実9: もし仮に信じ難くないものが飛び出し掛けるとすればそれは思い直さない
事実10: このＸ線診断は思い直さない
事実11: 算定し難くないものは灯し難くて更に飛び出し掛ける
事実12: 何らかのものは思い直さないとしたら「それはちぎれるしそれにそれは生き辛くない」ということは誤りである
事実13: あのオーダーＳは思い直さない
事実14: あの天書は卑しない
事実15: 何らかの物は相関性でない
事実16: 仮に何らかの物は生き辛くないとすれば「それは相関性でないしそれはちぎれるということはない」ということは真実でない
事実17: もし仮にあの術師がちぎれないならあの天書は相関性でないが持ち出せる
事実18: 仮に何かはちぎれないしその上相関性でないとするとあのオーダーＳは思い直す
事実19: 仮にあの天書がちぎれるとするとあの術師はちぎれなくて相関性でない
事実20: 「あの天書は卑し」ということは事実ならばそれはちぎれる
事実21: もし「あのオーダーＳはこっ酷くて更に香る」ということは事実と異なれば「あの術師は信じ難くない」ということは本当である
事実22: 「何かは卑しないし持ち出せない」ということは間違いならそれはちぎれる

仮説: あの天書は持ち出せる
1. 事実22から、推論1: "もし「あの天書は卑しということはないしかつそれは持ち出せるということはない」ということは本当でないとしたらそれはちぎれる"が導かれる
2. 仮定1: 以下のように仮定する。「あの天書は卑しないしそれに持ち出せない」ということは偽である
3. 推論1と仮定1から、推論2: "あの天書はちぎれる"が導かれる
4. 推論2と事実19から、推論3: "あの術師はちぎれないしまた相関性でない"が導かれる
5. 推論3から、推論4: "「ちぎれなくてしかも相関性でない」物はある"が導かれる
6. 推論4と事実18から、推論5: "あのオーダーＳは思い直す"が導かれる
7. 推論5と事実13から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの天書は卑しないし持ち出せない"が導かれる
9. 推論7から、仮説が否定される

よって、仮説が否定されました。