その時系列方向は憂くない
fact1: 備忘録はある fact2: 仮に「産生しない」ものがあるならその時系列方向は憂くない fact3: 「「産生するしさらに築ける」ということは確かな」ものはある fact4: このヨーガは御送り下さらない fact5: 「もしもこのヨーガが備忘録であるとすればあの時系列方向は憂い」ということは確かだ fact6: 「「直り難くない」ということは正しい」物はある fact7: 何らかのものは備忘録でないとしたら「このヨーガは産生するしその上築ける」ということは本当でない fact8: 「「結集しない」ということは確かな」物はある fact9: もし「このヨーガは憂いということはないししかも備忘録でない」ということは成り立たないとしたら備忘録である fact10: もしも「憂くない」ものはあるとすると「その時系列方向は産生するししかも築ける」ということは誤りである fact11: もしあの五席は犯さないならば「それは来易い」ということは成り立つ fact12: もしとある物は来易いとすると「それは勝ち越す」ということは誤っていない fact13: 「このヨーガは供奉するしおまけにそれは備忘録である」ということは嘘だ fact14: 「「産生するしさらに憂い」ということは嘘な」物はあるとすれば「このヨーガは築けない」ということは確かである fact15: 「この皆様は図り難いということはない」ということは正しい fact16: 「このヨーガは築けるしかつ単一顆粒である」ということは成り立たない fact17: 「「上人様であるし筋群である」ということは成り立たない」物はある fact18: もし仮にこのヨーガが手際良いしその上産生するとすればその医療専門家は手際良くない fact19: 「最大化しない」物はある fact20: あの五席は犯さない fact21: 「備忘録でない」ものはある fact22: もし「「産生するし築ける」ということは成り立たない」ものがあるとすればその時系列方向は憂くない fact23: 何らかの物は玄関前でない
fact21 & fact7 -> int1: 「このヨーガは産生するししかもそれは築ける」ということは本当だということはない; int1 -> int2: 「「産生するし築ける」ということは事実と異なる」物はある; int2 & fact22 -> hypothesis;
その時系列方向は憂い
fact27 -> int3: あの五席は来易いならば「勝ち越す」ということは真実である; fact26 & fact24 -> int4: あの五席は来易い; int3 & int4 -> int5: あの五席は勝ち越す; int5 -> int6: 「勝ち越す」物はある;
$facts$ = fact1: 備忘録はある fact2: 仮に「産生しない」ものがあるならその時系列方向は憂くない fact3: 「「産生するしさらに築ける」ということは確かな」ものはある fact4: このヨーガは御送り下さらない fact5: 「もしもこのヨーガが備忘録であるとすればあの時系列方向は憂い」ということは確かだ fact6: 「「直り難くない」ということは正しい」物はある fact7: 何らかのものは備忘録でないとしたら「このヨーガは産生するしその上築ける」ということは本当でない fact8: 「「結集しない」ということは確かな」物はある fact9: もし「このヨーガは憂いということはないししかも備忘録でない」ということは成り立たないとしたら備忘録である fact10: もしも「憂くない」ものはあるとすると「その時系列方向は産生するししかも築ける」ということは誤りである fact11: もしあの五席は犯さないならば「それは来易い」ということは成り立つ fact12: もしとある物は来易いとすると「それは勝ち越す」ということは誤っていない fact13: 「このヨーガは供奉するしおまけにそれは備忘録である」ということは嘘だ fact14: 「「産生するしさらに憂い」ということは嘘な」物はあるとすれば「このヨーガは築けない」ということは確かである fact15: 「この皆様は図り難いということはない」ということは正しい fact16: 「このヨーガは築けるしかつ単一顆粒である」ということは成り立たない fact17: 「「上人様であるし筋群である」ということは成り立たない」物はある fact18: もし仮にこのヨーガが手際良いしその上産生するとすればその医療専門家は手際良くない fact19: 「最大化しない」物はある fact20: あの五席は犯さない fact21: 「備忘録でない」ものはある fact22: もし「「産生するし築ける」ということは成り立たない」ものがあるとすればその時系列方向は憂くない fact23: 何らかの物は玄関前でない ; $hypothesis$ = その時系列方向は憂くない ; $proof$ = 
fact21 & fact7 -> int1: 「このヨーガは産生するししかもそれは築ける」ということは本当だということはない; int1 -> int2: 「「産生するし築ける」ということは事実と異なる」物はある; int2 & fact22 -> hypothesis; __PROVED__
事実1: 備忘録はある
事実2: 仮に「産生しない」ものがあるならその時系列方向は憂くない
事実3: 「「産生するしさらに築ける」ということは確かな」ものはある
事実4: このヨーガは御送り下さらない
事実5: 「もしもこのヨーガが備忘録であるとすればあの時系列方向は憂い」ということは確かだ
事実6: 「「直り難くない」ということは正しい」物はある
事実7: 何らかのものは備忘録でないとしたら「このヨーガは産生するしその上築ける」ということは本当でない
事実8: 「「結集しない」ということは確かな」物はある
事実9: もし「このヨーガは憂いということはないししかも備忘録でない」ということは成り立たないとしたら備忘録である
事実10: もしも「憂くない」ものはあるとすると「その時系列方向は産生するししかも築ける」ということは誤りである
事実11: もしあの五席は犯さないならば「それは来易い」ということは成り立つ
事実12: もしとある物は来易いとすると「それは勝ち越す」ということは誤っていない
事実13: 「このヨーガは供奉するしおまけにそれは備忘録である」ということは嘘だ
事実14: 「「産生するしさらに憂い」ということは嘘な」物はあるとすれば「このヨーガは築けない」ということは確かである
事実15: 「この皆様は図り難いということはない」ということは正しい
事実16: 「このヨーガは築けるしかつ単一顆粒である」ということは成り立たない
事実17: 「「上人様であるし筋群である」ということは成り立たない」物はある
事実18: もし仮にこのヨーガが手際良いしその上産生するとすればその医療専門家は手際良くない
事実19: 「最大化しない」物はある
事実20: あの五席は犯さない
事実21: 「備忘録でない」ものはある
事実22: もし「「産生するし築ける」ということは成り立たない」ものがあるとすればその時系列方向は憂くない
事実23: 何らかの物は玄関前でない

仮説: その時系列方向は憂くない
1. 事実21と事実7から、推論1: "「このヨーガは産生するししかもそれは築ける」ということは本当だということはない"が導かれる
2. 推論1から、推論2: "「「産生するし築ける」ということは事実と異なる」物はある"が導かれる
3. 推論2と事実22から、仮説が導かれる

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