「「もし仮に出直さないならば「行き難いが性的羞恥心でない」ということは成り立たない」ものはある」ということは偽である
fact1: もしなにかは出直さないならそれは行き難くてさらにそれは性的羞恥心でない fact2: もしもこのチゲは出直すということはないとしたら「乳酸だしかつ集め易いということはない」ということは誤りだ fact3: 「もし固まらないなら「輝かすし更に馴染み深い」ということは成り立たない」物はある fact4: もし仮になんらかの物は出直さないならば「それは行き難いけど性的羞恥心でない」ということは偽である fact5: もし仮にとある物は憎悪しないならば「悲ししさらにモストでない」ということは成り立たない fact6: 「もし出直さないとすれば行き難くて性的羞恥心でない」物はある fact7: 「仮に対処すらないとすると「田舎っぽくておまけに衣料産業である」ということは成り立たない」物はある fact8: 「もし仮に出直さないならば「行き難いし性的羞恥心である」ということは事実と異なる」ものはある fact9: 仮にあの若布は出直さないとすると「それは行き難いしまたそれは性的羞恥心でない」ということは成り立つ fact10: あるものは出直すなら「それは行き難いけど性的羞恥心でない」ということは事実でない fact11: もし仮にこの彼岸バナ科は競市だとしたら「それは北辰であるしそれは出直さない」ということは誤っている fact12: 仮にあの若布は出直さないとすると「それは行き難くて加えて性的羞恥心である」ということは成り立たない fact13: もしもなんらかのものは出直さないとすると「それは行き難いしさらに性的羞恥心だ」ということは間違いである fact14: 「もし仮に出直せば「行き難いし性的羞恥心でない」ということは誤っている」物はある fact15: もし仮に「あの若布は出直さない」ということは成り立つということはないとすれば「それは行き難いけれど性的羞恥心でない」ということは嘘である
fact4 -> int1: 仮にあの若布は出直さないならば「それは行き難いけど性的羞恥心でない」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしなにかは出直さないならそれは行き難くてさらにそれは性的羞恥心でない fact2: もしもこのチゲは出直すということはないとしたら「乳酸だしかつ集め易いということはない」ということは誤りだ fact3: 「もし固まらないなら「輝かすし更に馴染み深い」ということは成り立たない」物はある fact4: もし仮になんらかの物は出直さないならば「それは行き難いけど性的羞恥心でない」ということは偽である fact5: もし仮にとある物は憎悪しないならば「悲ししさらにモストでない」ということは成り立たない fact6: 「もし出直さないとすれば行き難くて性的羞恥心でない」物はある fact7: 「仮に対処すらないとすると「田舎っぽくておまけに衣料産業である」ということは成り立たない」物はある fact8: 「もし仮に出直さないならば「行き難いし性的羞恥心である」ということは事実と異なる」ものはある fact9: 仮にあの若布は出直さないとすると「それは行き難いしまたそれは性的羞恥心でない」ということは成り立つ fact10: あるものは出直すなら「それは行き難いけど性的羞恥心でない」ということは事実でない fact11: もし仮にこの彼岸バナ科は競市だとしたら「それは北辰であるしそれは出直さない」ということは誤っている fact12: 仮にあの若布は出直さないとすると「それは行き難くて加えて性的羞恥心である」ということは成り立たない fact13: もしもなんらかのものは出直さないとすると「それは行き難いしさらに性的羞恥心だ」ということは間違いである fact14: 「もし仮に出直せば「行き難いし性的羞恥心でない」ということは誤っている」物はある fact15: もし仮に「あの若布は出直さない」ということは成り立つということはないとすれば「それは行き難いけれど性的羞恥心でない」ということは嘘である ; $hypothesis$ = 「「もし仮に出直さないならば「行き難いが性的羞恥心でない」ということは成り立たない」ものはある」ということは偽である ; $proof$ = 
fact4 -> int1: 仮にあの若布は出直さないならば「それは行き難いけど性的羞恥心でない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もしなにかは出直さないならそれは行き難くてさらにそれは性的羞恥心でない
事実2: もしもこのチゲは出直すということはないとしたら「乳酸だしかつ集め易いということはない」ということは誤りだ
事実3: 「もし固まらないなら「輝かすし更に馴染み深い」ということは成り立たない」物はある
事実4: もし仮になんらかの物は出直さないならば「それは行き難いけど性的羞恥心でない」ということは偽である
事実5: もし仮にとある物は憎悪しないならば「悲ししさらにモストでない」ということは成り立たない
事実6: 「もし出直さないとすれば行き難くて性的羞恥心でない」物はある
事実7: 「仮に対処すらないとすると「田舎っぽくておまけに衣料産業である」ということは成り立たない」物はある
事実8: 「もし仮に出直さないならば「行き難いし性的羞恥心である」ということは事実と異なる」ものはある
事実9: 仮にあの若布は出直さないとすると「それは行き難いしまたそれは性的羞恥心でない」ということは成り立つ
事実10: あるものは出直すなら「それは行き難いけど性的羞恥心でない」ということは事実でない
事実11: もし仮にこの彼岸バナ科は競市だとしたら「それは北辰であるしそれは出直さない」ということは誤っている
事実12: 仮にあの若布は出直さないとすると「それは行き難くて加えて性的羞恥心である」ということは成り立たない
事実13: もしもなんらかのものは出直さないとすると「それは行き難いしさらに性的羞恥心だ」ということは間違いである
事実14: 「もし仮に出直せば「行き難いし性的羞恥心でない」ということは誤っている」物はある
事実15: もし仮に「あの若布は出直さない」ということは成り立つということはないとすれば「それは行き難いけれど性的羞恥心でない」ということは嘘である

仮説: 「「もし仮に出直さないならば「行き難いが性的羞恥心でない」ということは成り立たない」ものはある」ということは偽である
1. 事実4から、推論1: "仮にあの若布は出直さないならば「それは行き難いけど性的羞恥心でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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