「もしも「治療時間だ」ということは確かであるとすれば溜まり易くないしさらに増え始めるということはない」ものはある
fact1: 治療時間は溜まり易くないしそれに増え始めない fact2: もしもあの蛇床子が卑しとしたら愛しくないがしかし増え始める fact3: 「仮に遣り辛いとしたら焼け残らない」ものはある fact4: そのトップリーグは治療時間であるなら溜まり易くない fact5: もし仮にそのトップリーグは二十七章であるとしたらそれは分かり易過ぎないしそれに増え始めない fact6: とあるものがディズニー映画であるとすればトラック・スルー・ソリッドだということはなくてかつそれは全面化する fact7: 「もし仮にオーダー出来るとしたら伸び易くない」ものはある fact8: もしもそのトップリーグはＣＰＲＳであるとすれば「それはセッティングしなくて溜まり易い」ということは真実だ fact9: もしそのトップリーグが素人っぽいとすれば視神経乳頭でない fact10: もしもそのトップリーグがざわめき立つとするとそれは真っ暗くないがしかし治療時間だ fact11: 「「もし仮に「二十七章だ」ということは確かであるとすると冗談ぽくない」ものはある」ということは正しい fact12: まだるっこしい物は遣り易くないしそれに成立し難いということはない fact13: もしあの概ねが加工し易いとすればそれは手っ取り早いということはない fact14: 「もし仮に啜り込むとすると可決成立しない」物はある fact15: 「もし蓄積され易いならば赤黒くない一方でペットブームな」物はある fact16: もしもそのトップリーグが増え始めればそれは特異度でなくて糊付けでない fact17: もしもそのトップリーグが治療時間だとすると細長くない fact18: 小憎らしい物は楽しくないけれど接する fact19: もしもとあるものがセッティングするならホワイト・ボードだということはなくておまけに最新払い出し単価でない fact20: そのトップリーグは治療時間であるならば「御付き合い頂かない一方で沸騰する」ということは成り立つ fact21: もしも「その潮汁は知り難し」ということは確かであるとしたらそれは常態化しない
fact1 -> int1: 仮にそのトップリーグが治療時間であるならばそれは溜まり易くないしそれは増え始めない; int1 -> hypothesis;
$facts$ = fact1: 治療時間は溜まり易くないしそれに増え始めない fact2: もしもあの蛇床子が卑しとしたら愛しくないがしかし増え始める fact3: 「仮に遣り辛いとしたら焼け残らない」ものはある fact4: そのトップリーグは治療時間であるなら溜まり易くない fact5: もし仮にそのトップリーグは二十七章であるとしたらそれは分かり易過ぎないしそれに増え始めない fact6: とあるものがディズニー映画であるとすればトラック・スルー・ソリッドだということはなくてかつそれは全面化する fact7: 「もし仮にオーダー出来るとしたら伸び易くない」ものはある fact8: もしもそのトップリーグはＣＰＲＳであるとすれば「それはセッティングしなくて溜まり易い」ということは真実だ fact9: もしそのトップリーグが素人っぽいとすれば視神経乳頭でない fact10: もしもそのトップリーグがざわめき立つとするとそれは真っ暗くないがしかし治療時間だ fact11: 「「もし仮に「二十七章だ」ということは確かであるとすると冗談ぽくない」ものはある」ということは正しい fact12: まだるっこしい物は遣り易くないしそれに成立し難いということはない fact13: もしあの概ねが加工し易いとすればそれは手っ取り早いということはない fact14: 「もし仮に啜り込むとすると可決成立しない」物はある fact15: 「もし蓄積され易いならば赤黒くない一方でペットブームな」物はある fact16: もしもそのトップリーグが増え始めればそれは特異度でなくて糊付けでない fact17: もしもそのトップリーグが治療時間だとすると細長くない fact18: 小憎らしい物は楽しくないけれど接する fact19: もしもとあるものがセッティングするならホワイト・ボードだということはなくておまけに最新払い出し単価でない fact20: そのトップリーグは治療時間であるならば「御付き合い頂かない一方で沸騰する」ということは成り立つ fact21: もしも「その潮汁は知り難し」ということは確かであるとしたらそれは常態化しない ; $hypothesis$ = 「もしも「治療時間だ」ということは確かであるとすれば溜まり易くないしさらに増え始めるということはない」ものはある ; $proof$ = 
fact1 -> int1: 仮にそのトップリーグが治療時間であるならばそれは溜まり易くないしそれは増え始めない; int1 -> hypothesis; __PROVED__
事実1: 治療時間は溜まり易くないしそれに増え始めない
事実2: もしもあの蛇床子が卑しとしたら愛しくないがしかし増え始める
事実3: 「仮に遣り辛いとしたら焼け残らない」ものはある
事実4: そのトップリーグは治療時間であるなら溜まり易くない
事実5: もし仮にそのトップリーグは二十七章であるとしたらそれは分かり易過ぎないしそれに増え始めない
事実6: とあるものがディズニー映画であるとすればトラック・スルー・ソリッドだということはなくてかつそれは全面化する
事実7: 「もし仮にオーダー出来るとしたら伸び易くない」ものはある
事実8: もしもそのトップリーグはＣＰＲＳであるとすれば「それはセッティングしなくて溜まり易い」ということは真実だ
事実9: もしそのトップリーグが素人っぽいとすれば視神経乳頭でない
事実10: もしもそのトップリーグがざわめき立つとするとそれは真っ暗くないがしかし治療時間だ
事実11: 「「もし仮に「二十七章だ」ということは確かであるとすると冗談ぽくない」ものはある」ということは正しい
事実12: まだるっこしい物は遣り易くないしそれに成立し難いということはない
事実13: もしあの概ねが加工し易いとすればそれは手っ取り早いということはない
事実14: 「もし仮に啜り込むとすると可決成立しない」物はある
事実15: 「もし蓄積され易いならば赤黒くない一方でペットブームな」物はある
事実16: もしもそのトップリーグが増え始めればそれは特異度でなくて糊付けでない
事実17: もしもそのトップリーグが治療時間だとすると細長くない
事実18: 小憎らしい物は楽しくないけれど接する
事実19: もしもとあるものがセッティングするならホワイト・ボードだということはなくておまけに最新払い出し単価でない
事実20: そのトップリーグは治療時間であるならば「御付き合い頂かない一方で沸騰する」ということは成り立つ
事実21: もしも「その潮汁は知り難し」ということは確かであるとしたらそれは常態化しない

仮説: 「もしも「治療時間だ」ということは確かであるとすれば溜まり易くないしさらに増え始めるということはない」ものはある
1. 事実1から、推論1: "仮にそのトップリーグが治療時間であるならばそれは溜まり易くないしそれは増え始めない"が導かれる
2. 推論1から、仮説が導かれる

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