仮にこのフォワード要素は加藤神社でないとしたら「その駄目オは連れ込まなくて採種しない」ということは成り立つということはない
fact1: もしもこのフォワード要素は連れ込まないならば「その駄目オは連れ込む一方でそれは採種しない」ということは確かでない fact2: 仮にこのフォワード要素が加藤神社でないとすればその駄目オは連れ込まないしそれに採種しない fact3: 「このフォワード要素は採種しないしそれは加藤神社でない」ということは誤りだ fact4: 仮にこのフォワード要素は連れ込まないとしたら「その駄目オは連れ込むということはない一方で採種する」ということは成り立たない fact5: もし「このフォワード要素は連れ込まない」ということは成り立つとすれば「その駄目オは連れ込まないし加えて採種しない」ということは嘘である fact6: なにがしかのものが加藤神社であるということはない一方でそれが御若いならばそれは連れ込まない fact7: もしもこのフォワード要素は加藤神社でないならば「その駄目オは連れ込まないけど採種する」ということは事実と異なる fact8: もしこのフォワード要素が加藤神社だしかつ御若いとすればそれは連れ込むということはない fact9: 「その駄目オは連れ込むけど採種しない」ということは偽である fact10: 仮に否定し難いものが冷え易いとすると反復しない fact11: 「このフォワード要素は御若い」ということは正しい fact12: もし仮にこのフォワード要素は加藤神社だとすれば「「その駄目オは連れ込むということはないしかつ採種しない」ということは誤りだ」ということは成り立つ fact13: 「「「その駄目オは連れ込まないけど採種する」ということは事実である」ということは嘘だ」ということは正しい
void -> assump1: 以下のように仮定する。「このフォワード要素は加藤神社でない」ということは確かだ; assump1 & fact11 -> int1: このフォワード要素は加藤神社であるということはないが御若い; fact6 -> int2: もし仮にこのフォワード要素は加藤神社でないけれど御若いとしたらそれは連れ込むということはない; int1 & int2 -> int3: このフォワード要素は連れ込まない; int3 & fact5 -> int4: 「その駄目オは連れ込まないし採種するということはない」ということは間違っている; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもこのフォワード要素は連れ込まないならば「その駄目オは連れ込む一方でそれは採種しない」ということは確かでない fact2: 仮にこのフォワード要素が加藤神社でないとすればその駄目オは連れ込まないしそれに採種しない fact3: 「このフォワード要素は採種しないしそれは加藤神社でない」ということは誤りだ fact4: 仮にこのフォワード要素は連れ込まないとしたら「その駄目オは連れ込むということはない一方で採種する」ということは成り立たない fact5: もし「このフォワード要素は連れ込まない」ということは成り立つとすれば「その駄目オは連れ込まないし加えて採種しない」ということは嘘である fact6: なにがしかのものが加藤神社であるということはない一方でそれが御若いならばそれは連れ込まない fact7: もしもこのフォワード要素は加藤神社でないならば「その駄目オは連れ込まないけど採種する」ということは事実と異なる fact8: もしこのフォワード要素が加藤神社だしかつ御若いとすればそれは連れ込むということはない fact9: 「その駄目オは連れ込むけど採種しない」ということは偽である fact10: 仮に否定し難いものが冷え易いとすると反復しない fact11: 「このフォワード要素は御若い」ということは正しい fact12: もし仮にこのフォワード要素は加藤神社だとすれば「「その駄目オは連れ込むということはないしかつ採種しない」ということは誤りだ」ということは成り立つ fact13: 「「「その駄目オは連れ込まないけど採種する」ということは事実である」ということは嘘だ」ということは正しい ; $hypothesis$ = 仮にこのフォワード要素は加藤神社でないとしたら「その駄目オは連れ込まなくて採種しない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このフォワード要素は加藤神社でない」ということは確かだ; assump1 & fact11 -> int1: このフォワード要素は加藤神社であるということはないが御若い; fact6 -> int2: もし仮にこのフォワード要素は加藤神社でないけれど御若いとしたらそれは連れ込むということはない; int1 & int2 -> int3: このフォワード要素は連れ込まない; int3 & fact5 -> int4: 「その駄目オは連れ込まないし採種するということはない」ということは間違っている; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもこのフォワード要素は連れ込まないならば「その駄目オは連れ込む一方でそれは採種しない」ということは確かでない
事実2: 仮にこのフォワード要素が加藤神社でないとすればその駄目オは連れ込まないしそれに採種しない
事実3: 「このフォワード要素は採種しないしそれは加藤神社でない」ということは誤りだ
事実4: 仮にこのフォワード要素は連れ込まないとしたら「その駄目オは連れ込むということはない一方で採種する」ということは成り立たない
事実5: もし「このフォワード要素は連れ込まない」ということは成り立つとすれば「その駄目オは連れ込まないし加えて採種しない」ということは嘘である
事実6: なにがしかのものが加藤神社であるということはない一方でそれが御若いならばそれは連れ込まない
事実7: もしもこのフォワード要素は加藤神社でないならば「その駄目オは連れ込まないけど採種する」ということは事実と異なる
事実8: もしこのフォワード要素が加藤神社だしかつ御若いとすればそれは連れ込むということはない
事実9: 「その駄目オは連れ込むけど採種しない」ということは偽である
事実10: 仮に否定し難いものが冷え易いとすると反復しない
事実11: 「このフォワード要素は御若い」ということは正しい
事実12: もし仮にこのフォワード要素は加藤神社だとすれば「「その駄目オは連れ込むということはないしかつ採種しない」ということは誤りだ」ということは成り立つ
事実13: 「「「その駄目オは連れ込まないけど採種する」ということは事実である」ということは嘘だ」ということは正しい

仮説: 仮にこのフォワード要素は加藤神社でないとしたら「その駄目オは連れ込まなくて採種しない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「このフォワード要素は加藤神社でない」ということは確かだ
2. 仮定1と事実11から、推論1: "このフォワード要素は加藤神社であるということはないが御若い"が導かれる
3. 事実6から、推論2: "もし仮にこのフォワード要素は加藤神社でないけれど御若いとしたらそれは連れ込むということはない"が導かれる
4. 推論1と推論2から、推論3: "このフォワード要素は連れ込まない"が導かれる
5. 推論3と事実5から、推論4: "「その駄目オは連れ込まないし採種するということはない」ということは間違っている"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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