「「愛くるしいということはなくて加えて忌まわしい」ということは間違っている」物はある
fact1: あの唾液腺はバーチャル・コミュニティであるとすると「「有無でないしそれに溜め込み易い」ということは成り立つ」ということは誤りである fact2: その吉祥が溜め込み易くないしさらに出易くない fact3: 仮に「ある物はタグでない」ということは成り立つとしたら「それは愛くるしくないがしかし忌まわしい」ということは間違っている fact4: もし仮に「その吉祥は昇圧でないがしかし編制する」ということは成り立たないならあの唾液腺は落葉樹でない fact5: もし仮に「あるものはタグであるけどそれは落葉樹でない」ということは成り立たないとするとそれはバーチャル・コミュニティだ fact6: もしこの所はタグであるならば「その吉祥は昇圧であるということはないがしかしそれは編制する」ということは誤っている fact7: もし「何らかの物は有無でないけれど溜め込み易い」ということは成り立たないならば落葉樹だ fact8: あの唾液腺はバーチャル・コミュニティだ fact9: もしもその吉祥は溜め込み易くないとすれば「忌まわしい有無である」ということは誤りだ
void -> assump1: 以下のように仮定する。「この所はタグだ」ということは成り立つ; fact6 & assump1 -> int1: 「その吉祥は昇圧でないがそれは編制する」ということは偽だ; int1 & fact4 -> int2: あの唾液腺は落葉樹でない; fact8 & fact1 -> int3: 「あの唾液腺は有無でないけど溜め込み易い」ということは成り立たない; fact7 -> int4: 「あの唾液腺は有無でないがそれは溜め込み易い」ということは本当でないとするとそれは落葉樹だ; int3 & int4 -> int5: あの唾液腺は落葉樹である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この所はタグでない; fact3 -> int8: もし仮にこの所はタグであるということはないとすれば「それは愛くるしくないがしかし忌まわしい」ということは事実と異なる; int7 & int8 -> int9: 「この所は愛くるしくないけれど忌まわしい」ということは嘘だ; int9 -> hypothesis;
この所はバーチャル・コミュニティである
fact11 -> int10: もしも「この所はタグである一方で落葉樹でない」ということは嘘であるとすればそれはバーチャル・コミュニティだ; fact10 -> int11: その吉祥は溜め込み易くない; fact12 & int11 -> int12: 「その吉祥は忌まわしくておまけに有無だ」ということは正しくない; int12 -> int13: 「「忌まわしいし更に有無である」ということは成り立たない」物はある;
$facts$ = fact1: あの唾液腺はバーチャル・コミュニティであるとすると「「有無でないしそれに溜め込み易い」ということは成り立つ」ということは誤りである fact2: その吉祥が溜め込み易くないしさらに出易くない fact3: 仮に「ある物はタグでない」ということは成り立つとしたら「それは愛くるしくないがしかし忌まわしい」ということは間違っている fact4: もし仮に「その吉祥は昇圧でないがしかし編制する」ということは成り立たないならあの唾液腺は落葉樹でない fact5: もし仮に「あるものはタグであるけどそれは落葉樹でない」ということは成り立たないとするとそれはバーチャル・コミュニティだ fact6: もしこの所はタグであるならば「その吉祥は昇圧であるということはないがしかしそれは編制する」ということは誤っている fact7: もし「何らかの物は有無でないけれど溜め込み易い」ということは成り立たないならば落葉樹だ fact8: あの唾液腺はバーチャル・コミュニティだ fact9: もしもその吉祥は溜め込み易くないとすれば「忌まわしい有無である」ということは誤りだ ; $hypothesis$ = 「「愛くるしいということはなくて加えて忌まわしい」ということは間違っている」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「この所はタグだ」ということは成り立つ; fact6 & assump1 -> int1: 「その吉祥は昇圧でないがそれは編制する」ということは偽だ; int1 & fact4 -> int2: あの唾液腺は落葉樹でない; fact8 & fact1 -> int3: 「あの唾液腺は有無でないけど溜め込み易い」ということは成り立たない; fact7 -> int4: 「あの唾液腺は有無でないがそれは溜め込み易い」ということは本当でないとするとそれは落葉樹だ; int3 & int4 -> int5: あの唾液腺は落葉樹である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この所はタグでない; fact3 -> int8: もし仮にこの所はタグであるということはないとすれば「それは愛くるしくないがしかし忌まわしい」ということは事実と異なる; int7 & int8 -> int9: 「この所は愛くるしくないけれど忌まわしい」ということは嘘だ; int9 -> hypothesis; __PROVED__
事実1: あの唾液腺はバーチャル・コミュニティであるとすると「「有無でないしそれに溜め込み易い」ということは成り立つ」ということは誤りである
事実2: その吉祥が溜め込み易くないしさらに出易くない
事実3: 仮に「ある物はタグでない」ということは成り立つとしたら「それは愛くるしくないがしかし忌まわしい」ということは間違っている
事実4: もし仮に「その吉祥は昇圧でないがしかし編制する」ということは成り立たないならあの唾液腺は落葉樹でない
事実5: もし仮に「あるものはタグであるけどそれは落葉樹でない」ということは成り立たないとするとそれはバーチャル・コミュニティだ
事実6: もしこの所はタグであるならば「その吉祥は昇圧であるということはないがしかしそれは編制する」ということは誤っている
事実7: もし「何らかの物は有無でないけれど溜め込み易い」ということは成り立たないならば落葉樹だ
事実8: あの唾液腺はバーチャル・コミュニティだ
事実9: もしもその吉祥は溜め込み易くないとすれば「忌まわしい有無である」ということは誤りだ

仮説: 「「愛くるしいということはなくて加えて忌まわしい」ということは間違っている」物はある
1. 仮定1: 以下のように仮定する。「この所はタグだ」ということは成り立つ
2. 事実6と仮定1から、推論1: "「その吉祥は昇圧でないがそれは編制する」ということは偽だ"が導かれる
3. 推論1と事実4から、推論2: "あの唾液腺は落葉樹でない"が導かれる
4. 事実8と事実1から、推論3: "「あの唾液腺は有無でないけど溜め込み易い」ということは成り立たない"が導かれる
5. 事実7から、推論4: "「あの唾液腺は有無でないがそれは溜め込み易い」ということは本当でないとするとそれは落葉樹だ"が導かれる
6. 推論3と推論4から、推論5: "あの唾液腺は落葉樹である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この所はタグでない"が導かれる
9. 事実3から、推論8: "もし仮にこの所はタグであるということはないとすれば「それは愛くるしくないがしかし忌まわしい」ということは事実と異なる"が導かれる
10. 推論7と推論8から、推論9: "「この所は愛くるしくないけれど忌まわしい」ということは嘘だ"が導かれる
11. 推論9から、仮説が導かれる

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