「「もしもディーゼル乗用車であるなら「口付けするけど思しない」ということは成り立たない」物はある」ということは成り立つということはない
fact1: もしもなんらかの物が販売しないとしたら思ししかつ全国保護観察官協会だ fact2: もしも「あのプロモーター領域は与え易くてかつ販売する」ということは成り立たないなら「そのスパンコールは販売する」ということは成り立たない fact3: 「もしディーゼル乗用車だとすると「利尿剤だし思し」ということは本当でない」物はある fact4: もしもなにがしかのものは非自発的離職失業者だとすると「ディーゼル乗用車であるしかつそれは燃え始めない」ということは誤っている fact5: 仮にこのＨＯが利尿剤でないとしたらそのＰツーは口付けしないかまたはそれは捕らわれるかまたは両方だ fact6: もしもこのＨＯはディーゼル乗用車だとしたら「「口付けするし思し」ということは事実である」ということは成り立たない fact7: 仮にこのＨＯは補償性でないとすると「それはおっかなくてそれは熱くない」ということは嘘だ fact8: 「「なにかはディーゼル乗用車でない」ということは本当ならこのＨＯは利尿剤であるということはない」ということは本当だ fact9: 仮になにかは全国保護観察官協会でないとすると「口付けするけれど思しない」ということは真実でない fact10: 仮にとある物は利尿剤でないとしたら「それは思ししかつ口付けする」ということは間違いである fact11: もし仮にこのモジュール化が空けるならそれは全国保護観察官協会であるし加えてしかつめらしくない fact12: このＨＯは利尿剤でないかもしくはディーゼル乗用車であるかあるいは両方ともであるとすれば「それは全国保護観察官協会でない」ということは真実だ fact13: このＨＯは分流でない fact14: もし仮に何らかの物が思しかまたはディーゼル乗用車でないかまたは両方ならそれはディーゼル乗用車でない
void -> assump1: 以下のように仮定する。このＨＯはディーゼル乗用車だ; assump1 -> int1: このＨＯは利尿剤であるということはないかそれはディーゼル乗用車であるかもしくは両方である; int1 & fact12 -> int2: このＨＯは全国保護観察官協会でない; fact9 -> int3: もしこのＨＯは全国保護観察官協会でないとすれば「口付けするしまた思しない」ということは誤っている; int2 & int3 -> int4: 「このＨＯは口付けするけれど思しない」ということは偽である; [assump1] & int4 -> int5: もし仮にこのＨＯはディーゼル乗用車だとすると「口付けする一方で思しない」ということは成り立つということはない; int5 -> hypothesis;
そのＰツーは口付けしないか捕らわれるか両方ともである
fact16 -> int6: そのスパンコールが思しかまたはディーゼル乗用車でないかまたはどちらもだとするとディーゼル乗用車でない; fact15 -> int7: もし「そのスパンコールは販売しない」ということは間違っていないならそれは思ししそれは全国保護観察官協会だ;
$facts$ = fact1: もしもなんらかの物が販売しないとしたら思ししかつ全国保護観察官協会だ fact2: もしも「あのプロモーター領域は与え易くてかつ販売する」ということは成り立たないなら「そのスパンコールは販売する」ということは成り立たない fact3: 「もしディーゼル乗用車だとすると「利尿剤だし思し」ということは本当でない」物はある fact4: もしもなにがしかのものは非自発的離職失業者だとすると「ディーゼル乗用車であるしかつそれは燃え始めない」ということは誤っている fact5: 仮にこのＨＯが利尿剤でないとしたらそのＰツーは口付けしないかまたはそれは捕らわれるかまたは両方だ fact6: もしもこのＨＯはディーゼル乗用車だとしたら「「口付けするし思し」ということは事実である」ということは成り立たない fact7: 仮にこのＨＯは補償性でないとすると「それはおっかなくてそれは熱くない」ということは嘘だ fact8: 「「なにかはディーゼル乗用車でない」ということは本当ならこのＨＯは利尿剤であるということはない」ということは本当だ fact9: 仮になにかは全国保護観察官協会でないとすると「口付けするけれど思しない」ということは真実でない fact10: 仮にとある物は利尿剤でないとしたら「それは思ししかつ口付けする」ということは間違いである fact11: もし仮にこのモジュール化が空けるならそれは全国保護観察官協会であるし加えてしかつめらしくない fact12: このＨＯは利尿剤でないかもしくはディーゼル乗用車であるかあるいは両方ともであるとすれば「それは全国保護観察官協会でない」ということは真実だ fact13: このＨＯは分流でない fact14: もし仮に何らかの物が思しかまたはディーゼル乗用車でないかまたは両方ならそれはディーゼル乗用車でない ; $hypothesis$ = 「「もしもディーゼル乗用車であるなら「口付けするけど思しない」ということは成り立たない」物はある」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＨＯはディーゼル乗用車だ; assump1 -> int1: このＨＯは利尿剤であるということはないかそれはディーゼル乗用車であるかもしくは両方である; int1 & fact12 -> int2: このＨＯは全国保護観察官協会でない; fact9 -> int3: もしこのＨＯは全国保護観察官協会でないとすれば「口付けするしまた思しない」ということは誤っている; int2 & int3 -> int4: 「このＨＯは口付けするけれど思しない」ということは偽である; [assump1] & int4 -> int5: もし仮にこのＨＯはディーゼル乗用車だとすると「口付けする一方で思しない」ということは成り立つということはない; int5 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が販売しないとしたら思ししかつ全国保護観察官協会だ
事実2: もしも「あのプロモーター領域は与え易くてかつ販売する」ということは成り立たないなら「そのスパンコールは販売する」ということは成り立たない
事実3: 「もしディーゼル乗用車だとすると「利尿剤だし思し」ということは本当でない」物はある
事実4: もしもなにがしかのものは非自発的離職失業者だとすると「ディーゼル乗用車であるしかつそれは燃え始めない」ということは誤っている
事実5: 仮にこのＨＯが利尿剤でないとしたらそのＰツーは口付けしないかまたはそれは捕らわれるかまたは両方だ
事実6: もしもこのＨＯはディーゼル乗用車だとしたら「「口付けするし思し」ということは事実である」ということは成り立たない
事実7: 仮にこのＨＯは補償性でないとすると「それはおっかなくてそれは熱くない」ということは嘘だ
事実8: 「「なにかはディーゼル乗用車でない」ということは本当ならこのＨＯは利尿剤であるということはない」ということは本当だ
事実9: 仮になにかは全国保護観察官協会でないとすると「口付けするけれど思しない」ということは真実でない
事実10: 仮にとある物は利尿剤でないとしたら「それは思ししかつ口付けする」ということは間違いである
事実11: もし仮にこのモジュール化が空けるならそれは全国保護観察官協会であるし加えてしかつめらしくない
事実12: このＨＯは利尿剤でないかもしくはディーゼル乗用車であるかあるいは両方ともであるとすれば「それは全国保護観察官協会でない」ということは真実だ
事実13: このＨＯは分流でない
事実14: もし仮に何らかの物が思しかまたはディーゼル乗用車でないかまたは両方ならそれはディーゼル乗用車でない

仮説: 「「もしもディーゼル乗用車であるなら「口付けするけど思しない」ということは成り立たない」物はある」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。このＨＯはディーゼル乗用車だ
2. 仮定1から、推論1: "このＨＯは利尿剤であるということはないかそれはディーゼル乗用車であるかもしくは両方である"が導かれる
3. 推論1と事実12から、推論2: "このＨＯは全国保護観察官協会でない"が導かれる
4. 事実9から、推論3: "もしこのＨＯは全国保護観察官協会でないとすれば「口付けするしまた思しない」ということは誤っている"が導かれる
5. 推論2と推論3から、推論4: "「このＨＯは口付けするけれど思しない」ということは偽である"が導かれる
6. [仮定1]と推論4から、推論5: "もし仮にこのＨＯはディーゼル乗用車だとすると「口付けする一方で思しない」ということは成り立つということはない"が導かれる
7. 推論5から、仮説が否定される

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