あの第三部長は汚れ易くない
fact1: もしも「活用し易い」ものはあるとしたら「あの地元紙は標準溶液でないが喋り難い」ということは成り立つということはない fact2: もし仮に「何らかのものは言い尽くすししかもちょろい」ということは間違いならＳＰＥでない fact3: もしも「あの地元紙は標準溶液でない一方で喋り難い」ということは事実と異なるとすればその西光寺は標準溶液だ fact4: それは言い尽くすし加えてちょろいという物はない fact5: もし仮に「「喋り難くなくて加えて標準溶液でない」ということは偽である」物があるとすればその三斎は標準溶液だ fact6: 「その水滸伝は情報過多だ一方で両面でない」ということは成り立たないならばそれは楽し fact7: もしもその一定時間が包括化でないとしたらあの二十年以内は汚れ易くてかつ学校教育費だ fact8: あの二十年以内は汚れ易いし学校教育費であるなら「あの第三部長は汚れ易くない」ということは本当である fact9: あの二十年以内は学校教育費だ fact10: その西光寺が標準溶液だとすればこのベベルは両面でない fact11: あの第三部長は包括化でない fact12: もしなにがしかの物は学校教育費でないならばそれは汚れ易くて包括化だ fact13: 「「喋り難くなくて標準溶液でない」ということは成り立たない」ものはある fact14: もし「あの二十年以内は両面だ」ということは事実であるとしたら「あの第三部長は汚れ易い」ということは本当である fact15: 標準溶液は地方債現在高でないかあるいは両面でないかあるいは両方ともである fact16: 「あの第三部長は汚れ易いしかつ包括化である」ということは間違いだ fact17: 仮に「なにがしかの物は学校教育費であるがしかしそれは包括化でない」ということは事実と異なるとすればそれは汚れ易い fact18: もし仮にあの集計処理が節度でないとすればそれはそそっかしいしそれにそれは活用し易い fact19: もしも「何らかのものは地方債現在高でない一方でそれは包括化だ」ということは嘘であるとすると包括化でない fact20: もしある物が地方債現在高でないかまたは両面でないかあるいはどちらもであるとしたらそれは両面でない fact21: もし仮にそのバスツアーがＳＰＥであるということはないならばあの集計処理は節度であるということはなくてまた芽摘みしない fact22: この電気系は学校教育費だということはない fact23: 仮に「何らかのものは包括化であるが学校教育費でない」ということは成り立たないなら両面だ
void -> assump1: 以下のように仮定する。あの二十年以内は包括化で学校教育費でない; assump1 -> int1: あの二十年以内は学校教育費でない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの二十年以内は包括化であるけれどそれは学校教育費であるということはない」ということは誤っている; fact23 -> int4: 「あの二十年以内は包括化であるけれど学校教育費でない」ということは成り立たないとするとそれは両面である; int3 & int4 -> int5: あの二十年以内は両面である; int5 & fact14 -> hypothesis;
その三斎は汚れ易い
fact26 -> int6: もし仮にその三斎は学校教育費でないなら汚れ易くておまけに包括化である; fact28 -> int7: もしもその三斎が地方債現在高でないかそれは両面でないかもしくは両方ならば両面でない; fact27 -> int8: もしその三斎が標準溶液だとしたら地方債現在高でないか両面でないかどちらもだ; fact25 & fact24 -> int9: その三斎は標準溶液だ; int8 & int9 -> int10: その三斎は地方債現在高でないかもしくはそれは両面でない; int7 & int10 -> int11: 「その三斎は両面でない」ということは成り立つ;
$facts$ = fact1: もしも「活用し易い」ものはあるとしたら「あの地元紙は標準溶液でないが喋り難い」ということは成り立つということはない fact2: もし仮に「何らかのものは言い尽くすししかもちょろい」ということは間違いならＳＰＥでない fact3: もしも「あの地元紙は標準溶液でない一方で喋り難い」ということは事実と異なるとすればその西光寺は標準溶液だ fact4: それは言い尽くすし加えてちょろいという物はない fact5: もし仮に「「喋り難くなくて加えて標準溶液でない」ということは偽である」物があるとすればその三斎は標準溶液だ fact6: 「その水滸伝は情報過多だ一方で両面でない」ということは成り立たないならばそれは楽し fact7: もしもその一定時間が包括化でないとしたらあの二十年以内は汚れ易くてかつ学校教育費だ fact8: あの二十年以内は汚れ易いし学校教育費であるなら「あの第三部長は汚れ易くない」ということは本当である fact9: あの二十年以内は学校教育費だ fact10: その西光寺が標準溶液だとすればこのベベルは両面でない fact11: あの第三部長は包括化でない fact12: もしなにがしかの物は学校教育費でないならばそれは汚れ易くて包括化だ fact13: 「「喋り難くなくて標準溶液でない」ということは成り立たない」ものはある fact14: もし「あの二十年以内は両面だ」ということは事実であるとしたら「あの第三部長は汚れ易い」ということは本当である fact15: 標準溶液は地方債現在高でないかあるいは両面でないかあるいは両方ともである fact16: 「あの第三部長は汚れ易いしかつ包括化である」ということは間違いだ fact17: 仮に「なにがしかの物は学校教育費であるがしかしそれは包括化でない」ということは事実と異なるとすればそれは汚れ易い fact18: もし仮にあの集計処理が節度でないとすればそれはそそっかしいしそれにそれは活用し易い fact19: もしも「何らかのものは地方債現在高でない一方でそれは包括化だ」ということは嘘であるとすると包括化でない fact20: もしある物が地方債現在高でないかまたは両面でないかあるいはどちらもであるとしたらそれは両面でない fact21: もし仮にそのバスツアーがＳＰＥであるということはないならばあの集計処理は節度であるということはなくてまた芽摘みしない fact22: この電気系は学校教育費だということはない fact23: 仮に「何らかのものは包括化であるが学校教育費でない」ということは成り立たないなら両面だ ; $hypothesis$ = あの第三部長は汚れ易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの二十年以内は包括化で学校教育費でない; assump1 -> int1: あの二十年以内は学校教育費でない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの二十年以内は包括化であるけれどそれは学校教育費であるということはない」ということは誤っている; fact23 -> int4: 「あの二十年以内は包括化であるけれど学校教育費でない」ということは成り立たないとするとそれは両面である; int3 & int4 -> int5: あの二十年以内は両面である; int5 & fact14 -> 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: 仮に「何らかのものは包括化であるが学校教育費でない」ということは成り立たないなら両面だ

仮説: あの第三部長は汚れ易くない
1. 仮定1: 以下のように仮定する。あの二十年以内は包括化で学校教育費でない
2. 仮定1から、推論1: "あの二十年以内は学校教育費でない"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの二十年以内は包括化であるけれどそれは学校教育費であるということはない」ということは誤っている"が導かれる
5. 事実23から、推論4: "「あの二十年以内は包括化であるけれど学校教育費でない」ということは成り立たないとするとそれは両面である"が導かれる
6. 推論3と推論4から、推論5: "あの二十年以内は両面である"が導かれる
7. 推論5と事実14から、仮説が否定される

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