「仮にあの原初状態は後払い取り引きでないとすると「このＣＴスキャンは居住水準だし査定する」ということは成り立たない」ということは成り立たない
fact1: 「あの原初状態はほろ苦いけれどそれはカスタムであるということはない」ということは誤りだ fact2: あの原初状態は道交法ならば「それはほろ苦いけれどカスタムでない」ということは成り立たない fact3: もし仮にこの安寄りが査定しないとすれば居住水準だということはないかまたは後払い取り引きであるかまたはどちらもだ fact4: 仮に何らかの物は道交法なら「それはほろ苦くないけれどカスタムだ」ということは誤りである fact5: もし「あの原初状態はしおらしくないかもしくは忙しなくない」ということは成り立つということはないとしたらそれは道交法である fact6: 「あの原初状態はしおらしくないかあるいは忙しなくないかもしくは両方ともだ」ということは成り立たない fact7: 何かは道交法だとしたら「それはほろ苦くないし加えてそれはカスタムであるということはない」ということは偽だ fact8: とあるものは後払い取り引きでない fact9: もしあるものは道交法だとすると「「ほろ苦いししかもカスタムでない」ということは確かである」ということは間違いである fact10: 「あの原初状態はほろ苦いということはない一方でそれはカスタムである」ということは間違いである fact11: もし仮に「あの原初状態は道交法である」ということは正しいなら「ほろ苦くないけれどカスタムだ」ということは間違いである fact12: とある物は期待し難いしまた後払い取り引きだ fact13: もしも期待し難いものが後払い取り引きでないとしたらこの安寄りは居住水準でない fact14: 仮にあの原初状態は査定するなら「それは期待し難くないしそれにしおらしくない」ということは成り立たない fact15: このＣＴスキャンは居住水準だし査定する fact16: もし「このＣＴスキャンは忙しなくないかそれは後払い取り引きでない」ということは成り立たないならばそれは査定する fact17: 仮に「あの原初状態はほろ苦くないしまたカスタムでない」ということは偽だとすれば期待し難い fact18: 「期待し難い」ものはある fact19: 「あの原初状態は忙しない」ということは正しい fact20: なんらかのものは居住水準であるとすれば「しおらしくないし後払い取り引きでない」ということは嘘である fact21: もしもこの安寄りは居住水準でないとしたら「このＣＴスキャンは居住水準であるし査定する」ということは偽だ fact22: 仮にこの安寄りが居住水準でないならばこのＣＴスキャンは居住水準であるし更に査定する fact23: このＣＴスキャンはカスタムでない fact24: もしも「あの原初状態はしおらしくないか忙しないかもしくは両方だ」ということは成り立たないなら道交法だ fact25: あの原初状態が後払い取り引きでないならこのＣＴスキャンは居住水準であるししかも査定する
fact7 -> int1: あの原初状態は道交法であるとしたら「ほろ苦くないしカスタムでない」ということは成り立つということはない; fact6 & fact5 -> int2: あの原初状態は道交法である; int1 & int2 -> int3: 「あの原初状態はほろ苦くないしおまけにカスタムでない」ということは間違いだ; int3 & fact17 -> int4: 「あの原初状態は期待し難い」ということは成り立つ; void -> assump1: 以下のように仮定する。あの原初状態は後払い取り引きであるということはない; int4 & assump1 -> int5: あの原初状態は期待し難い一方で後払い取り引きだということはない; int5 -> int6: 「期待し難いけど後払い取り引きでない」ものはある; int6 & fact13 -> int7: この安寄りは居住水準でない; int7 & fact21 -> int8: 「このＣＴスキャンは居住水準でおまけに査定する」ということは誤りだ; [assump1] & int8 -> hypothesis;
この安寄りはしおらしい
$facts$ = fact1: 「あの原初状態はほろ苦いけれどそれはカスタムであるということはない」ということは誤りだ fact2: あの原初状態は道交法ならば「それはほろ苦いけれどカスタムでない」ということは成り立たない fact3: もし仮にこの安寄りが査定しないとすれば居住水準だということはないかまたは後払い取り引きであるかまたはどちらもだ fact4: 仮に何らかの物は道交法なら「それはほろ苦くないけれどカスタムだ」ということは誤りである fact5: もし「あの原初状態はしおらしくないかもしくは忙しなくない」ということは成り立つということはないとしたらそれは道交法である fact6: 「あの原初状態はしおらしくないかあるいは忙しなくないかもしくは両方ともだ」ということは成り立たない fact7: 何かは道交法だとしたら「それはほろ苦くないし加えてそれはカスタムであるということはない」ということは偽だ fact8: とあるものは後払い取り引きでない fact9: もしあるものは道交法だとすると「「ほろ苦いししかもカスタムでない」ということは確かである」ということは間違いである fact10: 「あの原初状態はほろ苦いということはない一方でそれはカスタムである」ということは間違いである fact11: もし仮に「あの原初状態は道交法である」ということは正しいなら「ほろ苦くないけれどカスタムだ」ということは間違いである fact12: とある物は期待し難いしまた後払い取り引きだ fact13: もしも期待し難いものが後払い取り引きでないとしたらこの安寄りは居住水準でない fact14: 仮にあの原初状態は査定するなら「それは期待し難くないしそれにしおらしくない」ということは成り立たない fact15: このＣＴスキャンは居住水準だし査定する fact16: もし「このＣＴスキャンは忙しなくないかそれは後払い取り引きでない」ということは成り立たないならばそれは査定する fact17: 仮に「あの原初状態はほろ苦くないしまたカスタムでない」ということは偽だとすれば期待し難い fact18: 「期待し難い」ものはある fact19: 「あの原初状態は忙しない」ということは正しい fact20: なんらかのものは居住水準であるとすれば「しおらしくないし後払い取り引きでない」ということは嘘である fact21: もしもこの安寄りは居住水準でないとしたら「このＣＴスキャンは居住水準であるし査定する」ということは偽だ fact22: 仮にこの安寄りが居住水準でないならばこのＣＴスキャンは居住水準であるし更に査定する fact23: このＣＴスキャンはカスタムでない fact24: もしも「あの原初状態はしおらしくないか忙しないかもしくは両方だ」ということは成り立たないなら道交法だ fact25: あの原初状態が後払い取り引きでないならこのＣＴスキャンは居住水準であるししかも査定する ; $hypothesis$ = 「仮にあの原初状態は後払い取り引きでないとすると「このＣＴスキャンは居住水準だし査定する」ということは成り立たない」ということは成り立たない ; $proof$ = 
fact7 -> int1: あの原初状態は道交法であるとしたら「ほろ苦くないしカスタムでない」ということは成り立つということはない; fact6 & fact5 -> int2: あの原初状態は道交法である; int1 & int2 -> int3: 「あの原初状態はほろ苦くないしおまけにカスタムでない」ということは間違いだ; int3 & fact17 -> int4: 「あの原初状態は期待し難い」ということは成り立つ; void -> assump1: 以下のように仮定する。あの原初状態は後払い取り引きであるということはない; int4 & assump1 -> int5: あの原初状態は期待し難い一方で後払い取り引きだということはない; int5 -> int6: 「期待し難いけど後払い取り引きでない」ものはある; int6 & fact13 -> int7: この安寄りは居住水準でない; int7 & fact21 -> int8: 「このＣＴスキャンは居住水準でおまけに査定する」ということは誤りだ; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 「あの原初状態はほろ苦いけれどそれはカスタムであるということはない」ということは誤りだ
事実2: あの原初状態は道交法ならば「それはほろ苦いけれどカスタムでない」ということは成り立たない
事実3: もし仮にこの安寄りが査定しないとすれば居住水準だということはないかまたは後払い取り引きであるかまたはどちらもだ
事実4: 仮に何らかの物は道交法なら「それはほろ苦くないけれどカスタムだ」ということは誤りである
事実5: もし「あの原初状態はしおらしくないかもしくは忙しなくない」ということは成り立つということはないとしたらそれは道交法である
事実6: 「あの原初状態はしおらしくないかあるいは忙しなくないかもしくは両方ともだ」ということは成り立たない
事実7: 何かは道交法だとしたら「それはほろ苦くないし加えてそれはカスタムであるということはない」ということは偽だ
事実8: とあるものは後払い取り引きでない
事実9: もしあるものは道交法だとすると「「ほろ苦いししかもカスタムでない」ということは確かである」ということは間違いである
事実10: 「あの原初状態はほろ苦いということはない一方でそれはカスタムである」ということは間違いである
事実11: もし仮に「あの原初状態は道交法である」ということは正しいなら「ほろ苦くないけれどカスタムだ」ということは間違いである
事実12: とある物は期待し難いしまた後払い取り引きだ
事実13: もしも期待し難いものが後払い取り引きでないとしたらこの安寄りは居住水準でない
事実14: 仮にあの原初状態は査定するなら「それは期待し難くないしそれにしおらしくない」ということは成り立たない
事実15: このＣＴスキャンは居住水準だし査定する
事実16: もし「このＣＴスキャンは忙しなくないかそれは後払い取り引きでない」ということは成り立たないならばそれは査定する
事実17: 仮に「あの原初状態はほろ苦くないしまたカスタムでない」ということは偽だとすれば期待し難い
事実18: 「期待し難い」ものはある
事実19: 「あの原初状態は忙しない」ということは正しい
事実20: なんらかのものは居住水準であるとすれば「しおらしくないし後払い取り引きでない」ということは嘘である
事実21: もしもこの安寄りは居住水準でないとしたら「このＣＴスキャンは居住水準であるし査定する」ということは偽だ
事実22: 仮にこの安寄りが居住水準でないならばこのＣＴスキャンは居住水準であるし更に査定する
事実23: このＣＴスキャンはカスタムでない
事実24: もしも「あの原初状態はしおらしくないか忙しないかもしくは両方だ」ということは成り立たないなら道交法だ
事実25: あの原初状態が後払い取り引きでないならこのＣＴスキャンは居住水準であるししかも査定する

仮説: 「仮にあの原初状態は後払い取り引きでないとすると「このＣＴスキャンは居住水準だし査定する」ということは成り立たない」ということは成り立たない
1. 事実7から、推論1: "あの原初状態は道交法であるとしたら「ほろ苦くないしカスタムでない」ということは成り立つということはない"が導かれる
2. 事実6と事実5から、推論2: "あの原初状態は道交法である"が導かれる
3. 推論1と推論2から、推論3: "「あの原初状態はほろ苦くないしおまけにカスタムでない」ということは間違いだ"が導かれる
4. 推論3と事実17から、推論4: "「あの原初状態は期待し難い」ということは成り立つ"が導かれる
5. 仮定1: 以下のように仮定する。あの原初状態は後払い取り引きであるということはない
6. 推論4と仮定1から、推論5: "あの原初状態は期待し難い一方で後払い取り引きだということはない"が導かれる
7. 推論5から、推論6: "「期待し難いけど後払い取り引きでない」ものはある"が導かれる
8. 推論6と事実13から、推論7: "この安寄りは居住水準でない"が導かれる
9. 推論7と事実21から、推論8: "「このＣＴスキャンは居住水準でおまけに査定する」ということは誤りだ"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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