「この内臓感覚は陽気でないかもしくは読み辛くないかまたは両方だ」ということは成り立たない
fact1: もし仮にあの荒っぽさが理解し難いならばこの情死は陽気だ fact2: 仮にこの情死が陽気であるとすればあの荒っぽさは陽気であるかあるいはそれは理解し難くない fact3: もし仮になにかは引き出し易くないなら「それは太陽電池モジュールであるかもしくはそれは需品科でないかもしくは両方だ」ということは間違いである fact4: この内臓感覚は陽気でないかまたは読み辛いかもしくは両方ともだ fact5: この内臓感覚は陽気であるかあるいは読み辛くないかまたは両方である fact6: もし仮にこの情死が陽気ならこの内臓感覚は陽気でないかまたは読み辛いかまたは両方だ fact7: 「仮にこの情死が陽気であるならばこの内臓感覚は陽気であるということはないかあるいはそれは読み辛くない」ということは事実である fact8: 惨めったらしいということはないがしかしＵＮＤであるという物はない fact9: もし仮に何らかのものは理解し難くないとすれば「陽気でないかもしくはそれは読み辛くないか両方である」ということは成り立たない fact10: 「あの荒っぽさは需品科だ」ということは真実である fact11: あの荒っぽさは理解し難いものであり加えて需品科だ fact12: もし「何らかの物は太陽電池モジュールであるかそれは需品科でないかまたは両方だ」ということは誤りだとしたら理解し難いということはない
fact11 -> int1: あの荒っぽさは理解し難い; int1 & fact1 -> int2: この情死は陽気だ; int2 & fact7 -> hypothesis;
fact11 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
「この内臓感覚は陽気でないかあるいは読み辛くない」ということは偽である
fact13 -> int3: もし仮にこの内臓感覚は理解し難くないとすれば「それは陽気でないかまたはそれは読み辛くないかあるいは両方である」ということは成り立つということはない; fact14 -> int4: 「この内臓感覚は太陽電池モジュールであるかもしくはそれは需品科でないかまたは両方である」ということは成り立たないならばそれは理解し難くない; fact16 -> int5: もしもこの内臓感覚は引き出し易くないとすると「太陽電池モジュールであるかもしくは需品科でないかあるいはどちらもである」ということは成り立たない; fact15 -> int6: 「あの荒っぽさは惨めったらしくないがしかしＵＮＤだ」ということは確かだということはない; int6 -> int7: 「「惨めったらしくない一方でＵＮＤである」ということは嘘である」物はある;
$facts$ = fact1: もし仮にあの荒っぽさが理解し難いならばこの情死は陽気だ fact2: 仮にこの情死が陽気であるとすればあの荒っぽさは陽気であるかあるいはそれは理解し難くない fact3: もし仮になにかは引き出し易くないなら「それは太陽電池モジュールであるかもしくはそれは需品科でないかもしくは両方だ」ということは間違いである fact4: この内臓感覚は陽気でないかまたは読み辛いかもしくは両方ともだ fact5: この内臓感覚は陽気であるかあるいは読み辛くないかまたは両方である fact6: もし仮にこの情死が陽気ならこの内臓感覚は陽気でないかまたは読み辛いかまたは両方だ fact7: 「仮にこの情死が陽気であるならばこの内臓感覚は陽気であるということはないかあるいはそれは読み辛くない」ということは事実である fact8: 惨めったらしいということはないがしかしＵＮＤであるという物はない fact9: もし仮に何らかのものは理解し難くないとすれば「陽気でないかもしくはそれは読み辛くないか両方である」ということは成り立たない fact10: 「あの荒っぽさは需品科だ」ということは真実である fact11: あの荒っぽさは理解し難いものであり加えて需品科だ fact12: もし「何らかの物は太陽電池モジュールであるかそれは需品科でないかまたは両方だ」ということは誤りだとしたら理解し難いということはない ; $hypothesis$ = 「この内臓感覚は陽気でないかもしくは読み辛くないかまたは両方だ」ということは成り立たない ; $proof$ = 
fact11 -> int1: あの荒っぽさは理解し難い; int1 & fact1 -> int2: この情死は陽気だ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの荒っぽさが理解し難いならばこの情死は陽気だ
事実2: 仮にこの情死が陽気であるとすればあの荒っぽさは陽気であるかあるいはそれは理解し難くない
事実3: もし仮になにかは引き出し易くないなら「それは太陽電池モジュールであるかもしくはそれは需品科でないかもしくは両方だ」ということは間違いである
事実4: この内臓感覚は陽気でないかまたは読み辛いかもしくは両方ともだ
事実5: この内臓感覚は陽気であるかあるいは読み辛くないかまたは両方である
事実6: もし仮にこの情死が陽気ならこの内臓感覚は陽気でないかまたは読み辛いかまたは両方だ
事実7: 「仮にこの情死が陽気であるならばこの内臓感覚は陽気であるということはないかあるいはそれは読み辛くない」ということは事実である
事実8: 惨めったらしいということはないがしかしＵＮＤであるという物はない
事実9: もし仮に何らかのものは理解し難くないとすれば「陽気でないかもしくはそれは読み辛くないか両方である」ということは成り立たない
事実10: 「あの荒っぽさは需品科だ」ということは真実である
事実11: あの荒っぽさは理解し難いものであり加えて需品科だ
事実12: もし「何らかの物は太陽電池モジュールであるかそれは需品科でないかまたは両方だ」ということは誤りだとしたら理解し難いということはない

仮説: 「この内臓感覚は陽気でないかもしくは読み辛くないかまたは両方だ」ということは成り立たない
1. 事実11から、推論1: "あの荒っぽさは理解し難い"が導かれる
2. 推論1と事実1から、推論2: "この情死は陽気だ"が導かれる
3. 推論2と事実7から、仮説が否定される

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