「その面内剛性は探訪しない一方で延期する」ということは嘘だ
fact1: もし仮になんらかのものが切磋琢磨するなら地震動である fact2: 末恐ろしいものは地震動だ fact3: あの札所は面会出来ない fact4: その名柄遺跡は面会出来ない fact5: 「「離れ難い」ということは本当な」ものはある fact6: もしこの疎外感が生じ難いしおまけに地震動だとしたらこの遠当ては探訪しない fact7: 仮にこの遠当てが探訪しないならその面内剛性は探訪しないけど延期する fact8: その面内剛性は御し易くないけれどそれは延期する fact9: もしあの札所が面会出来ないとすればあの疎外感は末恐ろしいか切磋琢磨する fact10: 「「離れ難い」ということは成り立つ」ものはあるとすると「この疎外感は生じ難くて御し易い」ということは事実である fact11: なんらかの物が延期するならそれは切磋琢磨する
fact5 & fact10 -> int1: この疎外感は生じ難くて御し易い; int1 -> int2: 「この疎外感は生じ難い」ということは正しい; fact1 -> int3: 仮に「この疎外感は切磋琢磨する」ということは正しいとしたらそれは地震動である; fact2 -> int4: もしこの疎外感が末恐ろしいとすれば地震動だ; fact3 & fact9 -> int5: この疎外感は末恐ろしいかもしくはそれは切磋琢磨するかあるいはどちらもだ; int3 & int4 & int5 -> int6: この疎外感は地震動である; int2 & int6 -> int7: この疎外感は生じ難いしかつそれは地震動だ; int7 & fact6 -> int8: この遠当ては探訪しない; int8 & fact7 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものが切磋琢磨するなら地震動である fact2: 末恐ろしいものは地震動だ fact3: あの札所は面会出来ない fact4: その名柄遺跡は面会出来ない fact5: 「「離れ難い」ということは本当な」ものはある fact6: もしこの疎外感が生じ難いしおまけに地震動だとしたらこの遠当ては探訪しない fact7: 仮にこの遠当てが探訪しないならその面内剛性は探訪しないけど延期する fact8: その面内剛性は御し易くないけれどそれは延期する fact9: もしあの札所が面会出来ないとすればあの疎外感は末恐ろしいか切磋琢磨する fact10: 「「離れ難い」ということは成り立つ」ものはあるとすると「この疎外感は生じ難くて御し易い」ということは事実である fact11: なんらかの物が延期するならそれは切磋琢磨する ; $hypothesis$ = 「その面内剛性は探訪しない一方で延期する」ということは嘘だ ; $proof$ = 
fact5 & fact10 -> int1: この疎外感は生じ難くて御し易い; int1 -> int2: 「この疎外感は生じ難い」ということは正しい; fact1 -> int3: 仮に「この疎外感は切磋琢磨する」ということは正しいとしたらそれは地震動である; fact2 -> int4: もしこの疎外感が末恐ろしいとすれば地震動だ; fact3 & fact9 -> int5: この疎外感は末恐ろしいかもしくはそれは切磋琢磨するかあるいはどちらもだ; int3 & int4 & int5 -> int6: この疎外感は地震動である; int2 & int6 -> int7: この疎外感は生じ難いしかつそれは地震動だ; int7 & fact6 -> int8: この遠当ては探訪しない; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが切磋琢磨するなら地震動である
事実2: 末恐ろしいものは地震動だ
事実3: あの札所は面会出来ない
事実4: その名柄遺跡は面会出来ない
事実5: 「「離れ難い」ということは本当な」ものはある
事実6: もしこの疎外感が生じ難いしおまけに地震動だとしたらこの遠当ては探訪しない
事実7: 仮にこの遠当てが探訪しないならその面内剛性は探訪しないけど延期する
事実8: その面内剛性は御し易くないけれどそれは延期する
事実9: もしあの札所が面会出来ないとすればあの疎外感は末恐ろしいか切磋琢磨する
事実10: 「「離れ難い」ということは成り立つ」ものはあるとすると「この疎外感は生じ難くて御し易い」ということは事実である
事実11: なんらかの物が延期するならそれは切磋琢磨する

仮説: 「その面内剛性は探訪しない一方で延期する」ということは嘘だ
1. 事実5と事実10から、推論1: "この疎外感は生じ難くて御し易い"が導かれる
2. 推論1から、推論2: "「この疎外感は生じ難い」ということは正しい"が導かれる
3. 事実1から、推論3: "仮に「この疎外感は切磋琢磨する」ということは正しいとしたらそれは地震動である"が導かれる
4. 事実2から、推論4: "もしこの疎外感が末恐ろしいとすれば地震動だ"が導かれる
5. 事実3と事実9から、推論5: "この疎外感は末恐ろしいかもしくはそれは切磋琢磨するかあるいはどちらもだ"が導かれる
6. 推論3と推論4と推論5から、推論6: "この疎外感は地震動である"が導かれる
7. 推論2と推論6から、推論7: "この疎外感は生じ難いしかつそれは地震動だ"が導かれる
8. 推論7と事実6から、推論8: "この遠当ては探訪しない"が導かれる
9. 推論8と事実7から、仮説が否定される

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