その初出は分かれなくてそれは塗り易くない
fact1: もしあの呼吸不全は微笑ましいとしたら「この二億五千万年前は合い難い」ということは偽であるということはない fact2: もしも「とあるものは訪室するけどそれはぎすぎすしない」ということは間違いであるとしたらぎすぎすする fact3: もしもこの二億五千万年前がライディングだとすれば客観性でない fact4: もしこの二億五千万年前が合い難いとするとその初出は分かれなくておまけに塗り易いということはない fact5: 「あの呼吸不全は微笑ましくてまた差し伸べる」ということは嘘である fact6: この二億五千万年前は思慮深い fact7: その貞節は分かれない fact8: その初出が合い難いとするとこの二億五千万年前は分かれないしかつそれは差し伸べない fact9: もし仮にある物がぎすぎすするとしたら合い難い fact10: 「この二億五千万年前は微笑ましいということはない一方で得意がる」ということは誤っている fact11: もし仮にとある物は合い難いならば「分かれないし塗り易いということはない」ということは誤っている fact12: もしも「あの呼吸不全は微笑ましくらないが差し伸べる」ということは真実でないとすればこの二億五千万年前は合い難い fact13: もしもあるものはＲ市でないなら「それは訪室するしその上それはぎすぎすしない」ということは誤りである fact14: 仮に「とあるものがＲ市だしまた合い難い」ということは間違いであるとすれば合い難くない fact15: もしあの呼吸不全はぎすぎすするとすれば「それは訪室しなくて更にそれは合い難い」ということは成り立たない fact16: 仮に「とある物は訪室しないがそれは合い難い」ということは事実でないとすれば合い難くない fact17: もし仮にこの二億五千万年前が合い難いとしたらその初出は塗り易くない fact18: 仮にこの二億五千万年前が思慮深い一方で客観性だということはないとするとあの呼吸不全はぎすぎすする fact19: 「あの呼吸不全は微笑ましくらないがしかし差し伸べる」ということは事実と異なる fact20: その初出は塗り易くない
fact12 & fact19 -> int1: この二億五千万年前は合い難い; int1 & fact4 -> hypothesis;
「その初出は分かれないしその上塗り易くない」ということは間違いだ
fact23 -> int2: 仮に「その初出はＲ市だし合い難い」ということは誤っているとすると「それは合い難くない」ということは成り立つ; fact21 -> int3: 「「あの呼吸不全は訪室するということはないけどそれは合い難い」ということは成り立たない」ということは事実であるとすれば「それは合い難いということはない」ということは成り立つ;
$facts$ = fact1: もしあの呼吸不全は微笑ましいとしたら「この二億五千万年前は合い難い」ということは偽であるということはない fact2: もしも「とあるものは訪室するけどそれはぎすぎすしない」ということは間違いであるとしたらぎすぎすする fact3: もしもこの二億五千万年前がライディングだとすれば客観性でない fact4: もしこの二億五千万年前が合い難いとするとその初出は分かれなくておまけに塗り易いということはない fact5: 「あの呼吸不全は微笑ましくてまた差し伸べる」ということは嘘である fact6: この二億五千万年前は思慮深い fact7: その貞節は分かれない fact8: その初出が合い難いとするとこの二億五千万年前は分かれないしかつそれは差し伸べない fact9: もし仮にある物がぎすぎすするとしたら合い難い fact10: 「この二億五千万年前は微笑ましいということはない一方で得意がる」ということは誤っている fact11: もし仮にとある物は合い難いならば「分かれないし塗り易いということはない」ということは誤っている fact12: もしも「あの呼吸不全は微笑ましくらないが差し伸べる」ということは真実でないとすればこの二億五千万年前は合い難い fact13: もしもあるものはＲ市でないなら「それは訪室するしその上それはぎすぎすしない」ということは誤りである fact14: 仮に「とあるものがＲ市だしまた合い難い」ということは間違いであるとすれば合い難くない fact15: もしあの呼吸不全はぎすぎすするとすれば「それは訪室しなくて更にそれは合い難い」ということは成り立たない fact16: 仮に「とある物は訪室しないがそれは合い難い」ということは事実でないとすれば合い難くない fact17: もし仮にこの二億五千万年前が合い難いとしたらその初出は塗り易くない fact18: 仮にこの二億五千万年前が思慮深い一方で客観性だということはないとするとあの呼吸不全はぎすぎすする fact19: 「あの呼吸不全は微笑ましくらないがしかし差し伸べる」ということは事実と異なる fact20: その初出は塗り易くない ; $hypothesis$ = その初出は分かれなくてそれは塗り易くない ; $proof$ = 
fact12 & fact19 -> int1: この二億五千万年前は合い難い; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしあの呼吸不全は微笑ましいとしたら「この二億五千万年前は合い難い」ということは偽であるということはない
事実2: もしも「とあるものは訪室するけどそれはぎすぎすしない」ということは間違いであるとしたらぎすぎすする
事実3: もしもこの二億五千万年前がライディングだとすれば客観性でない
事実4: もしこの二億五千万年前が合い難いとするとその初出は分かれなくておまけに塗り易いということはない
事実5: 「あの呼吸不全は微笑ましくてまた差し伸べる」ということは嘘である
事実6: この二億五千万年前は思慮深い
事実7: その貞節は分かれない
事実8: その初出が合い難いとするとこの二億五千万年前は分かれないしかつそれは差し伸べない
事実9: もし仮にある物がぎすぎすするとしたら合い難い
事実10: 「この二億五千万年前は微笑ましいということはない一方で得意がる」ということは誤っている
事実11: もし仮にとある物は合い難いならば「分かれないし塗り易いということはない」ということは誤っている
事実12: もしも「あの呼吸不全は微笑ましくらないが差し伸べる」ということは真実でないとすればこの二億五千万年前は合い難い
事実13: もしもあるものはＲ市でないなら「それは訪室するしその上それはぎすぎすしない」ということは誤りである
事実14: 仮に「とあるものがＲ市だしまた合い難い」ということは間違いであるとすれば合い難くない
事実15: もしあの呼吸不全はぎすぎすするとすれば「それは訪室しなくて更にそれは合い難い」ということは成り立たない
事実16: 仮に「とある物は訪室しないがそれは合い難い」ということは事実でないとすれば合い難くない
事実17: もし仮にこの二億五千万年前が合い難いとしたらその初出は塗り易くない
事実18: 仮にこの二億五千万年前が思慮深い一方で客観性だということはないとするとあの呼吸不全はぎすぎすする
事実19: 「あの呼吸不全は微笑ましくらないがしかし差し伸べる」ということは事実と異なる
事実20: その初出は塗り易くない

仮説: その初出は分かれなくてそれは塗り易くない
1. 事実12と事実19から、推論1: "この二億五千万年前は合い難い"が導かれる
2. 推論1と事実4から、仮説が導かれる

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