この心霊史は舌鼓であるけれど連座しない
fact1: この心霊史は販売出来ない fact2: この心霊史は既遂である fact3: 「すべてのものは既遂でかつ後裔だ」ということは真実である fact4: この心霊史は既遂であるならば舌鼓である fact5: 後裔が紅潮するなら連座しない fact6: もしもなにかは出し尽くさないとすると紅潮するかまたはそれは後裔であるかまたはどちらもである fact7: とあるものは後裔であるならば舌鼓である fact8: 仮に「後裔だし紅潮する」物があるとしたらこの心霊史はウェンディス家でない fact9: 仮にこの心霊史は紅潮するとしたら「それは既遂でないけど後裔である」ということは成り立たない fact10: もしもある物はウェンディス家でないならば「それは舌鼓だ一方で連座するということはない」ということは偽だ fact11: この戦争犯罪人は販売出来ないがしかし紅潮する fact12: この戦争犯罪人は販売出来ない fact13: もしもこの心霊史は紅潮するとすれば「舌鼓だ」ということは事実である fact14: もしその転倒・転落時がウェンディス家であるということはないとすればあの心霊史は連座しないけど既遂である fact15: この戦争犯罪人は取り返さない fact16: なんらかのものは後裔だ fact17: もしも「その転倒・転落時は紅潮するがしかしウェンディス家でない」ということは真実であるならこの心霊史は紅潮する fact18: すべてのものは既遂である fact19: この戦争犯罪人は既遂だ fact20: 仮にこの心霊史が無権限占有者でないとすれば後裔で加えて販売出来る fact21: この心霊史は出し尽くさない fact22: 「研究例であるしおまけに最終資本積み立て金額である」物はある
fact3 -> int1: この戦争犯罪人は既遂であるしまた後裔だ; int1 -> int2: この戦争犯罪人は後裔だ; fact11 -> int3: この戦争犯罪人は紅潮する; int2 & int3 -> int4: この戦争犯罪人は後裔であるしまた紅潮する; int4 -> int5: なにがしかのものは後裔であるし更にそれは紅潮する; int5 & fact8 -> int6: この心霊史はウェンディス家でない; fact10 -> int7: もしこの心霊史はウェンディス家でないとすると「舌鼓であるしまたそれは連座するということはない」ということは誤りだ; int6 & int7 -> hypothesis;
「この心霊史は舌鼓であるがしかし連座しない」ということは成り立つ
fact27 & fact23 -> int8: この心霊史は舌鼓だ; fact26 -> int9: この心霊史は後裔であるしさらに紅潮するとしたら連座するということはない;
$facts$ = fact1: この心霊史は販売出来ない fact2: この心霊史は既遂である fact3: 「すべてのものは既遂でかつ後裔だ」ということは真実である fact4: この心霊史は既遂であるならば舌鼓である fact5: 後裔が紅潮するなら連座しない fact6: もしもなにかは出し尽くさないとすると紅潮するかまたはそれは後裔であるかまたはどちらもである fact7: とあるものは後裔であるならば舌鼓である fact8: 仮に「後裔だし紅潮する」物があるとしたらこの心霊史はウェンディス家でない fact9: 仮にこの心霊史は紅潮するとしたら「それは既遂でないけど後裔である」ということは成り立たない fact10: もしもある物はウェンディス家でないならば「それは舌鼓だ一方で連座するということはない」ということは偽だ fact11: この戦争犯罪人は販売出来ないがしかし紅潮する fact12: この戦争犯罪人は販売出来ない fact13: もしもこの心霊史は紅潮するとすれば「舌鼓だ」ということは事実である fact14: もしその転倒・転落時がウェンディス家であるということはないとすればあの心霊史は連座しないけど既遂である fact15: この戦争犯罪人は取り返さない fact16: なんらかのものは後裔だ fact17: もしも「その転倒・転落時は紅潮するがしかしウェンディス家でない」ということは真実であるならこの心霊史は紅潮する fact18: すべてのものは既遂である fact19: この戦争犯罪人は既遂だ fact20: 仮にこの心霊史が無権限占有者でないとすれば後裔で加えて販売出来る fact21: この心霊史は出し尽くさない fact22: 「研究例であるしおまけに最終資本積み立て金額である」物はある ; $hypothesis$ = この心霊史は舌鼓であるけれど連座しない ; $proof$ = 
fact3 -> int1: この戦争犯罪人は既遂であるしまた後裔だ; int1 -> int2: この戦争犯罪人は後裔だ; fact11 -> int3: この戦争犯罪人は紅潮する; int2 & int3 -> int4: この戦争犯罪人は後裔であるしまた紅潮する; int4 -> int5: なにがしかのものは後裔であるし更にそれは紅潮する; int5 & fact8 -> int6: この心霊史はウェンディス家でない; fact10 -> int7: もしこの心霊史はウェンディス家でないとすると「舌鼓であるしまたそれは連座するということはない」ということは誤りだ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: この心霊史は販売出来ない
事実2: この心霊史は既遂である
事実3: 「すべてのものは既遂でかつ後裔だ」ということは真実である
事実4: この心霊史は既遂であるならば舌鼓である
事実5: 後裔が紅潮するなら連座しない
事実6: もしもなにかは出し尽くさないとすると紅潮するかまたはそれは後裔であるかまたはどちらもである
事実7: とあるものは後裔であるならば舌鼓である
事実8: 仮に「後裔だし紅潮する」物があるとしたらこの心霊史はウェンディス家でない
事実9: 仮にこの心霊史は紅潮するとしたら「それは既遂でないけど後裔である」ということは成り立たない
事実10: もしもある物はウェンディス家でないならば「それは舌鼓だ一方で連座するということはない」ということは偽だ
事実11: この戦争犯罪人は販売出来ないがしかし紅潮する
事実12: この戦争犯罪人は販売出来ない
事実13: もしもこの心霊史は紅潮するとすれば「舌鼓だ」ということは事実である
事実14: もしその転倒・転落時がウェンディス家であるということはないとすればあの心霊史は連座しないけど既遂である
事実15: この戦争犯罪人は取り返さない
事実16: なんらかのものは後裔だ
事実17: もしも「その転倒・転落時は紅潮するがしかしウェンディス家でない」ということは真実であるならこの心霊史は紅潮する
事実18: すべてのものは既遂である
事実19: この戦争犯罪人は既遂だ
事実20: 仮にこの心霊史が無権限占有者でないとすれば後裔で加えて販売出来る
事実21: この心霊史は出し尽くさない
事実22: 「研究例であるしおまけに最終資本積み立て金額である」物はある

仮説: この心霊史は舌鼓であるけれど連座しない
1. 事実3から、推論1: "この戦争犯罪人は既遂であるしまた後裔だ"が導かれる
2. 推論1から、推論2: "この戦争犯罪人は後裔だ"が導かれる
3. 事実11から、推論3: "この戦争犯罪人は紅潮する"が導かれる
4. 推論2と推論3から、推論4: "この戦争犯罪人は後裔であるしまた紅潮する"が導かれる
5. 推論4から、推論5: "なにがしかのものは後裔であるし更にそれは紅潮する"が導かれる
6. 推論5と事実8から、推論6: "この心霊史はウェンディス家でない"が導かれる
7. 事実10から、推論7: "もしこの心霊史はウェンディス家でないとすると「舌鼓であるしまたそれは連座するということはない」ということは誤りだ"が導かれる
8. 推論6と推論7から、仮説が否定される

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