「この企てが夜景であるとしたらこの樹脂は五日夜でなくてその上微笑ましくらない」ということは真実でない
fact1: この樹脂は微笑ましかない fact2: なにかは夜景でなくてそれにラジオ放送しないとしたらそれは四辺縁だということはない fact3: もしこの企てが砕け易いけどそれは新王でないならば夜景でない fact4: 仮にあの市民社会論がラジオ放送するしさらに四辺縁だとするとこの樹脂は五日夜であるということはない fact5: この企てが五日夜でないならばこの樹脂は夜景でなくてそれはラジオ放送しない fact6: この企てがラジオ放送しないとするとあの市民社会論はラジオ放送するしおまけに四辺縁である fact7: もし仮にこの企てがラジオ放送するならそれは砕け易い一方で新王であるということはない
void -> assump2: 以下のように仮定する。「この企てはラジオ放送する」ということは真実だ; fact7 & assump2 -> int1: この企ては砕け易いがしかしそれは新王だということはない; int1 & fact3 -> int2: この企ては夜景だということはない; void -> assump1: 以下のように仮定する。この企ては夜景だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「この企てはラジオ放送しない」ということは成り立つ; int4 & fact6 -> int5: あの市民社会論はラジオ放送するしおまけに四辺縁である; int5 & fact4 -> int6: この樹脂は五日夜でない; int6 & fact1 -> int7: この樹脂は五日夜でないしまた微笑ましかない; [assump1] & int7 -> hypothesis;
この樹脂は四辺縁でない
fact9 -> int8: もしこの樹脂は夜景だということはなくて加えてラジオ放送しないならそれは四辺縁でない;
$facts$ = fact1: この樹脂は微笑ましかない fact2: なにかは夜景でなくてそれにラジオ放送しないとしたらそれは四辺縁だということはない fact3: もしこの企てが砕け易いけどそれは新王でないならば夜景でない fact4: 仮にあの市民社会論がラジオ放送するしさらに四辺縁だとするとこの樹脂は五日夜であるということはない fact5: この企てが五日夜でないならばこの樹脂は夜景でなくてそれはラジオ放送しない fact6: この企てがラジオ放送しないとするとあの市民社会論はラジオ放送するしおまけに四辺縁である fact7: もし仮にこの企てがラジオ放送するならそれは砕け易い一方で新王であるということはない ; $hypothesis$ = 「この企てが夜景であるとしたらこの樹脂は五日夜でなくてその上微笑ましくらない」ということは真実でない ; $proof$ = 
void -> assump2: 以下のように仮定する。「この企てはラジオ放送する」ということは真実だ; fact7 & assump2 -> int1: この企ては砕け易いがしかしそれは新王だということはない; int1 & fact3 -> int2: この企ては夜景だということはない; void -> assump1: 以下のように仮定する。この企ては夜景だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「この企てはラジオ放送しない」ということは成り立つ; int4 & fact6 -> int5: あの市民社会論はラジオ放送するしおまけに四辺縁である; int5 & fact4 -> int6: この樹脂は五日夜でない; int6 & fact1 -> int7: この樹脂は五日夜でないしまた微笑ましかない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: この樹脂は微笑ましかない
事実2: なにかは夜景でなくてそれにラジオ放送しないとしたらそれは四辺縁だということはない
事実3: もしこの企てが砕け易いけどそれは新王でないならば夜景でない
事実4: 仮にあの市民社会論がラジオ放送するしさらに四辺縁だとするとこの樹脂は五日夜であるということはない
事実5: この企てが五日夜でないならばこの樹脂は夜景でなくてそれはラジオ放送しない
事実6: この企てがラジオ放送しないとするとあの市民社会論はラジオ放送するしおまけに四辺縁である
事実7: もし仮にこの企てがラジオ放送するならそれは砕け易い一方で新王であるということはない

仮説: 「この企てが夜景であるとしたらこの樹脂は五日夜でなくてその上微笑ましくらない」ということは真実でない
1. 仮定2: 以下のように仮定する。「この企てはラジオ放送する」ということは真実だ
2. 事実7と仮定2から、推論1: "この企ては砕け易いがしかしそれは新王だということはない"が導かれる
3. 推論1と事実3から、推論2: "この企ては夜景だということはない"が導かれる
4. 仮定1: 以下のように仮定する。この企ては夜景だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「この企てはラジオ放送しない」ということは成り立つ"が導かれる
7. 推論4と事実6から、推論5: "あの市民社会論はラジオ放送するしおまけに四辺縁である"が導かれる
8. 推論5と事実4から、推論6: "この樹脂は五日夜でない"が導かれる
9. 推論6と事実1から、推論7: "この樹脂は五日夜でないしまた微笑ましかない"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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