この半角文字はＮＧ行動であるということはないとすると「この楽曲は仕事らしいしまたそれは入り辛い」ということは本当だ
fact1: 仮にとある物はＮＧ行動でないとすれば「入り辛い一方で違くない」ということは成り立つということはない fact2: この楽曲は入り辛い fact3: もしもこの半角文字が当事者適格ならこのプライベートドクターは識別出来る fact4: 健康度は裁判するけど仕事らしくない fact5: もし仮にあの上音構造が識別出来ないとするとそれはＮＧ行動でないし加えて当事者適格だ fact6: もしも「この楽曲はＮＧ行動である」ということは本当だとすればあの半角文字は入り辛い fact7: この半角文字が結び付き難いということはないとしたらそれは当事者適格だ fact8: 「この地理的位置は酌でない」ということは真実だ fact9: このプライベートドクターは仕事らしくない fact10: もしも「この半角文字は結び付き難いけれど酌でない」ということは成り立たないならそれは当事者適格である fact11: もしもこの半角文字はＮＧ行動なら「結び付き難い一方で酌でない」ということは嘘である fact12: 「「「このプライベートドクターは識別出来るけど入り辛いということはない」ということは成り立つ」ということは成り立つということはない」ということは成り立つ fact13: 仮に「この半角文字は裁判するがしかし仕事らしくない」ということは本当であるならばあの上音構造は識別出来ない fact14: もし仮にこの半角文字はＮＧ行動でないならば「結び付き難いし酌でない」ということは嘘だ fact15: もし仮にこのプライベートドクターが識別出来るとするとこの楽曲は仕事らしい
void -> assump1: 以下のように仮定する。「この半角文字はＮＧ行動だということはない」ということは偽でない; fact14 & assump1 -> int1: 「「この半角文字は結び付き難いけど酌でない」ということは間違っている」ということは事実である; int1 & fact10 -> int2: 「この半角文字は当事者適格である」ということは成り立つ; int2 & fact3 -> int3: このプライベートドクターは識別出来る; int3 & fact15 -> int4: この楽曲は仕事らしい; int4 & fact2 -> int5: この楽曲は仕事らしいししかも入り辛い; [assump1] & int5 -> hypothesis;
「あの上音構造は入り辛いが違くない」ということは成り立つということはない
fact19 -> int6: もし仮にあの上音構造はＮＧ行動だということはないとしたら「「それは入り辛い一方で違くない」ということは事実だ」ということは成り立たない; fact18 -> int7: もしこの半角文字が健康度なら裁判するけれど仕事らしくない;
$facts$ = fact1: 仮にとある物はＮＧ行動でないとすれば「入り辛い一方で違くない」ということは成り立つということはない fact2: この楽曲は入り辛い fact3: もしもこの半角文字が当事者適格ならこのプライベートドクターは識別出来る fact4: 健康度は裁判するけど仕事らしくない fact5: もし仮にあの上音構造が識別出来ないとするとそれはＮＧ行動でないし加えて当事者適格だ fact6: もしも「この楽曲はＮＧ行動である」ということは本当だとすればあの半角文字は入り辛い fact7: この半角文字が結び付き難いということはないとしたらそれは当事者適格だ fact8: 「この地理的位置は酌でない」ということは真実だ fact9: このプライベートドクターは仕事らしくない fact10: もしも「この半角文字は結び付き難いけれど酌でない」ということは成り立たないならそれは当事者適格である fact11: もしもこの半角文字はＮＧ行動なら「結び付き難い一方で酌でない」ということは嘘である fact12: 「「「このプライベートドクターは識別出来るけど入り辛いということはない」ということは成り立つ」ということは成り立つということはない」ということは成り立つ fact13: 仮に「この半角文字は裁判するがしかし仕事らしくない」ということは本当であるならばあの上音構造は識別出来ない fact14: もし仮にこの半角文字はＮＧ行動でないならば「結び付き難いし酌でない」ということは嘘だ fact15: もし仮にこのプライベートドクターが識別出来るとするとこの楽曲は仕事らしい ; $hypothesis$ = この半角文字はＮＧ行動であるということはないとすると「この楽曲は仕事らしいしまたそれは入り辛い」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この半角文字はＮＧ行動だということはない」ということは偽でない; fact14 & assump1 -> int1: 「「この半角文字は結び付き難いけど酌でない」ということは間違っている」ということは事実である; int1 & fact10 -> int2: 「この半角文字は当事者適格である」ということは成り立つ; int2 & fact3 -> int3: このプライベートドクターは識別出来る; int3 & fact15 -> int4: この楽曲は仕事らしい; int4 & fact2 -> int5: この楽曲は仕事らしいししかも入り辛い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にとある物はＮＧ行動でないとすれば「入り辛い一方で違くない」ということは成り立つということはない
事実2: この楽曲は入り辛い
事実3: もしもこの半角文字が当事者適格ならこのプライベートドクターは識別出来る
事実4: 健康度は裁判するけど仕事らしくない
事実5: もし仮にあの上音構造が識別出来ないとするとそれはＮＧ行動でないし加えて当事者適格だ
事実6: もしも「この楽曲はＮＧ行動である」ということは本当だとすればあの半角文字は入り辛い
事実7: この半角文字が結び付き難いということはないとしたらそれは当事者適格だ
事実8: 「この地理的位置は酌でない」ということは真実だ
事実9: このプライベートドクターは仕事らしくない
事実10: もしも「この半角文字は結び付き難いけれど酌でない」ということは成り立たないならそれは当事者適格である
事実11: もしもこの半角文字はＮＧ行動なら「結び付き難い一方で酌でない」ということは嘘である
事実12: 「「「このプライベートドクターは識別出来るけど入り辛いということはない」ということは成り立つ」ということは成り立つということはない」ということは成り立つ
事実13: 仮に「この半角文字は裁判するがしかし仕事らしくない」ということは本当であるならばあの上音構造は識別出来ない
事実14: もし仮にこの半角文字はＮＧ行動でないならば「結び付き難いし酌でない」ということは嘘だ
事実15: もし仮にこのプライベートドクターが識別出来るとするとこの楽曲は仕事らしい

仮説: この半角文字はＮＧ行動であるということはないとすると「この楽曲は仕事らしいしまたそれは入り辛い」ということは本当だ
1. 仮定1: 以下のように仮定する。「この半角文字はＮＧ行動だということはない」ということは偽でない
2. 事実14と仮定1から、推論1: "「「この半角文字は結び付き難いけど酌でない」ということは間違っている」ということは事実である"が導かれる
3. 推論1と事実10から、推論2: "「この半角文字は当事者適格である」ということは成り立つ"が導かれる
4. 推論2と事実3から、推論3: "このプライベートドクターは識別出来る"が導かれる
5. 推論3と事実15から、推論4: "この楽曲は仕事らしい"が導かれる
6. 推論4と事実2から、推論5: "この楽曲は仕事らしいししかも入り辛い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。