この荒代掻きは寺跡だということはない
fact1: もしその正規が前章だとしたらその投資量は味気なくなくて前章でない fact2: 仮にその胴体部が長細いとしたらその投資量は前章であるということはなくて長細くない fact3: もしもその投資量が図らないけど前章であるならこの荒代掻きは寺跡である fact4: 仮に「「ヘルバルト主義である一方で長細くない」ということは成り立たない」ものはあるとしたら「その正規は味気ない」ということは本当である fact5: もしもその正規が前章であるならその投資量は図らないしそれに前章であるということはない fact6: もしもその投資量が寺跡であるとすればあの荒代掻きは前章でなくておまけに寺跡でない fact7: 何かは味気ないとすると前章である fact8: 「「ヘルバルト主義で長細い」ということは事実と異なる」ものはある fact9: もし「「前章であるし更に長細くない」ということは誤りである」ものがあるならその胴体部は図る fact10: 「「支柱であるしその上習熟しない」ということは嘘な」ものはある fact11: 仮にこの荒代掻きが図るならその投資量は寺跡でない fact12: その胴体部は前章である fact13: 「「前章だがしかし寺跡でない」ということは本当でない」物はある fact14: その投資量はウエルカムでないし加えて潔しない fact15: もしもなんらかのものが寺跡であるならばその正規は味気ない fact16: その投資量は柔らかい fact17: もし仮に何らかの物が長細いとするとその正規は味気ない fact18: この荒代掻きは和服である fact19: とある物はヘルバルト主義だが長細くない fact20: 仮に「あの塩素系は図る」ということは事実だとすると「その投資量は前章である」ということは間違っているということはない fact21: その胴体部は寺跡でなくてそれは長細くない fact22: 「その胴体部はヘルバルト主義であるがそれは長細くない」ということは偽である fact23: もし仮にその投資量が図らないし加えて前章でないとすればこの荒代掻きは寺跡である fact24: 何かは味気ないとしたら「両足であるがしかし成長力でない」ということは成り立たない fact25: 仮にこの荒代掻きが寺跡でなくて加えてそれが前章でないならばその正規は図る
fact22 -> int1: 「「ヘルバルト主義であるし長細いということはない」ということは確かでない」ものはある; int1 & fact4 -> int2: 「その正規は味気ない」ということは成り立つ; fact7 -> int3: もし仮にその正規が味気ないとしたら前章だ; int2 & int3 -> int4: その正規は前章だ; int4 & fact5 -> int5: 「その投資量は図らないし前章でない」ということは成り立つ; int5 & fact23 -> hypothesis;
「「両足だし加えて成長力だということはない」ということは偽な」物はある
fact26 -> 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: もし仮にその投資量が図らないし加えて前章でないとすればこの荒代掻きは寺跡である fact24: 何かは味気ないとしたら「両足であるがしかし成長力でない」ということは成り立たない fact25: 仮にこの荒代掻きが寺跡でなくて加えてそれが前章でないならばその正規は図る ; $hypothesis$ = この荒代掻きは寺跡だということはない ; $proof$ = 
fact22 -> int1: 「「ヘルバルト主義であるし長細いということはない」ということは確かでない」ものはある; int1 & fact4 -> int2: 「その正規は味気ない」ということは成り立つ; fact7 -> int3: もし仮にその正規が味気ないとしたら前章だ; int2 & int3 -> int4: その正規は前章だ; int4 & fact5 -> int5: 「その投資量は図らないし前章でない」ということは成り立つ; int5 & fact23 -> hypothesis; __DISPROVED__
事実1: もしその正規が前章だとしたらその投資量は味気なくなくて前章でない
事実2: 仮にその胴体部が長細いとしたらその投資量は前章であるということはなくて長細くない
事実3: もしもその投資量が図らないけど前章であるならこの荒代掻きは寺跡である
事実4: 仮に「「ヘルバルト主義である一方で長細くない」ということは成り立たない」ものはあるとしたら「その正規は味気ない」ということは本当である
事実5: もしもその正規が前章であるならその投資量は図らないしそれに前章であるということはない
事実6: もしもその投資量が寺跡であるとすればあの荒代掻きは前章でなくておまけに寺跡でない
事実7: 何かは味気ないとすると前章である
事実8: 「「ヘルバルト主義で長細い」ということは事実と異なる」ものはある
事実9: もし「「前章であるし更に長細くない」ということは誤りである」ものがあるならその胴体部は図る
事実10: 「「支柱であるしその上習熟しない」ということは嘘な」ものはある
事実11: 仮にこの荒代掻きが図るならその投資量は寺跡でない
事実12: その胴体部は前章である
事実13: 「「前章だがしかし寺跡でない」ということは本当でない」物はある
事実14: その投資量はウエルカムでないし加えて潔しない
事実15: もしもなんらかのものが寺跡であるならばその正規は味気ない
事実16: その投資量は柔らかい
事実17: もし仮に何らかの物が長細いとするとその正規は味気ない
事実18: この荒代掻きは和服である
事実19: とある物はヘルバルト主義だが長細くない
事実20: 仮に「あの塩素系は図る」ということは事実だとすると「その投資量は前章である」ということは間違っているということはない
事実21: その胴体部は寺跡でなくてそれは長細くない
事実22: 「その胴体部はヘルバルト主義であるがそれは長細くない」ということは偽である
事実23: もし仮にその投資量が図らないし加えて前章でないとすればこの荒代掻きは寺跡である
事実24: 何かは味気ないとしたら「両足であるがしかし成長力でない」ということは成り立たない
事実25: 仮にこの荒代掻きが寺跡でなくて加えてそれが前章でないならばその正規は図る

仮説: この荒代掻きは寺跡だということはない
1. 事実22から、推論1: "「「ヘルバルト主義であるし長細いということはない」ということは確かでない」ものはある"が導かれる
2. 推論1と事実4から、推論2: "「その正規は味気ない」ということは成り立つ"が導かれる
3. 事実7から、推論3: "もし仮にその正規が味気ないとしたら前章だ"が導かれる
4. 推論2と推論3から、推論4: "その正規は前章だ"が導かれる
5. 推論4と事実5から、推論5: "「その投資量は図らないし前章でない」ということは成り立つ"が導かれる
6. 推論5と事実23から、仮説が否定される

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