その陳水扁政権は再送する
fact1: もし仮に「何らかの物は再送するということはない」ということは誤りでないとすればそれはそそっかしいし陽根だ fact2: あの花彩は碧でない fact3: 「その月足らずはそそっかしいけど三役でない」ということは成り立たないとするとその陳水扁政権は再送するということはない fact4: あの伊賀上野宿は付着し易くない fact5: もしもこのノーベル文学賞が陽根だとしたらあの伊賀上野宿はそそっかしくない fact6: このノーベル文学賞は陽根でないとしたら「この問題領域は付着し易いかあるいは碧でない」ということは成り立たない fact7: あの伊賀上野宿はそそっかしいということはないとしたら「その月足らずはそそっかしい一方で三役でない」ということは成り立つということはない fact8: この問題領域は付着し易いかまたはそれは碧でない fact9: その月足らずは碧でない fact10: 仮にあの伊賀上野宿が三役であるとするとその月足らずはそそっかしくない fact11: 仮にこの問題領域は碧でないとしたら「このノーベル文学賞は碧であるが付着し易くない」ということは真実でない fact12: もしこのノーベル文学賞はそそっかしくないなら「「あの伊賀上野宿は陽根であるかあるいは碧でない」ということは誤りでない」ということは成り立たない fact13: その月足らずは付着し易くないとすると「この問題領域は付着し易くて三役だ」ということは嘘だ fact14: 「あの伊賀上野宿はそそっかしくて三役である」ということは間違っている fact15: もしも「この問題領域は再送しない」ということは正しいなら「その陳水扁政権は碧であるかあるいはそれは付着し易くないかあるいは両方ともである」ということは誤っている fact16: もしもこのノーベル文学賞が付着し易いとしたらこの問題領域は陽根であるということはない fact17: もしこのノーベル文学賞が陽根だということはないならこの問題領域は付着し易くない
void -> assump1: 以下のように仮定する。このノーベル文学賞は陽根でない; fact6 & assump1 -> int1: 「この問題領域は付着し易いかまたは碧でない」ということは間違いだ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: このノーベル文学賞は陽根だ; int3 & fact5 -> int4: あの伊賀上野宿はそそっかしくない; int4 & fact7 -> int5: 「その月足らずはそそっかしいがしかし三役でない」ということは嘘だ; int5 & fact3 -> hypothesis;
あの既習はそそっかしい
fact18 -> int6: 仮にあの既習が再送しないならそれはそそっかしいし陽根だ;
$facts$ = fact1: もし仮に「何らかの物は再送するということはない」ということは誤りでないとすればそれはそそっかしいし陽根だ fact2: あの花彩は碧でない fact3: 「その月足らずはそそっかしいけど三役でない」ということは成り立たないとするとその陳水扁政権は再送するということはない fact4: あの伊賀上野宿は付着し易くない fact5: もしもこのノーベル文学賞が陽根だとしたらあの伊賀上野宿はそそっかしくない fact6: このノーベル文学賞は陽根でないとしたら「この問題領域は付着し易いかあるいは碧でない」ということは成り立たない fact7: あの伊賀上野宿はそそっかしいということはないとしたら「その月足らずはそそっかしい一方で三役でない」ということは成り立つということはない fact8: この問題領域は付着し易いかまたはそれは碧でない fact9: その月足らずは碧でない fact10: 仮にあの伊賀上野宿が三役であるとするとその月足らずはそそっかしくない fact11: 仮にこの問題領域は碧でないとしたら「このノーベル文学賞は碧であるが付着し易くない」ということは真実でない fact12: もしこのノーベル文学賞はそそっかしくないなら「「あの伊賀上野宿は陽根であるかあるいは碧でない」ということは誤りでない」ということは成り立たない fact13: その月足らずは付着し易くないとすると「この問題領域は付着し易くて三役だ」ということは嘘だ fact14: 「あの伊賀上野宿はそそっかしくて三役である」ということは間違っている fact15: もしも「この問題領域は再送しない」ということは正しいなら「その陳水扁政権は碧であるかあるいはそれは付着し易くないかあるいは両方ともである」ということは誤っている fact16: もしもこのノーベル文学賞が付着し易いとしたらこの問題領域は陽根であるということはない fact17: もしこのノーベル文学賞が陽根だということはないならこの問題領域は付着し易くない ; $hypothesis$ = その陳水扁政権は再送する ; $proof$ = 
void -> assump1: 以下のように仮定する。このノーベル文学賞は陽根でない; fact6 & assump1 -> int1: 「この問題領域は付着し易いかまたは碧でない」ということは間違いだ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: このノーベル文学賞は陽根だ; int3 & fact5 -> int4: あの伊賀上野宿はそそっかしくない; int4 & fact7 -> int5: 「その月足らずはそそっかしいがしかし三役でない」ということは嘘だ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかの物は再送するということはない」ということは誤りでないとすればそれはそそっかしいし陽根だ
事実2: あの花彩は碧でない
事実3: 「その月足らずはそそっかしいけど三役でない」ということは成り立たないとするとその陳水扁政権は再送するということはない
事実4: あの伊賀上野宿は付着し易くない
事実5: もしもこのノーベル文学賞が陽根だとしたらあの伊賀上野宿はそそっかしくない
事実6: このノーベル文学賞は陽根でないとしたら「この問題領域は付着し易いかあるいは碧でない」ということは成り立たない
事実7: あの伊賀上野宿はそそっかしいということはないとしたら「その月足らずはそそっかしい一方で三役でない」ということは成り立つということはない
事実8: この問題領域は付着し易いかまたはそれは碧でない
事実9: その月足らずは碧でない
事実10: 仮にあの伊賀上野宿が三役であるとするとその月足らずはそそっかしくない
事実11: 仮にこの問題領域は碧でないとしたら「このノーベル文学賞は碧であるが付着し易くない」ということは真実でない
事実12: もしこのノーベル文学賞はそそっかしくないなら「「あの伊賀上野宿は陽根であるかあるいは碧でない」ということは誤りでない」ということは成り立たない
事実13: その月足らずは付着し易くないとすると「この問題領域は付着し易くて三役だ」ということは嘘だ
事実14: 「あの伊賀上野宿はそそっかしくて三役である」ということは間違っている
事実15: もしも「この問題領域は再送しない」ということは正しいなら「その陳水扁政権は碧であるかあるいはそれは付着し易くないかあるいは両方ともである」ということは誤っている
事実16: もしもこのノーベル文学賞が付着し易いとしたらこの問題領域は陽根であるということはない
事実17: もしこのノーベル文学賞が陽根だということはないならこの問題領域は付着し易くない

仮説: その陳水扁政権は再送する
1. 仮定1: 以下のように仮定する。このノーベル文学賞は陽根でない
2. 事実6と仮定1から、推論1: "「この問題領域は付着し易いかまたは碧でない」ということは間違いだ"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "このノーベル文学賞は陽根だ"が導かれる
5. 推論3と事実5から、推論4: "あの伊賀上野宿はそそっかしくない"が導かれる
6. 推論4と事実7から、推論5: "「その月足らずはそそっかしいがしかし三役でない」ということは嘘だ"が導かれる
7. 推論5と事実3から、仮説が否定される

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