「仮に解き放たないならば「尊くて加えて下ろし易い」ということは成り立つということはない」物はある
fact1: もし「この保険原理はセレクトする」ということは確かだとすれば「それは由々しいし解き放つ」ということは成り立たない fact2: 「もし仮に擬装するということはないとしたら「ＡＰＥＣ地域であるし廃れる」ということは成り立たない」ものはある fact3: もし「この保険原理は解き放たない」ということは確かであるとすると「それは青っぽくて心弱い」ということは誤っている fact4: 「仮に解き放たないならば尊いし下ろし易い」ものはある fact5: 「誘発し易いとすると「挿入位置であるし加えて転属だ」ということは間違いな」ものはある fact6: もしもこの保険原理は順応し易くないとすれば「それは詮無くてさらにそれは広がり易い」ということは間違いである fact7: 「もし仮に「落成しない」ということは正しいなら「荒々しくて加えて非人間化だ」ということは誤りな」物はある fact8: 「「もしも解き放てば「尊くて下ろし易い」ということは間違っている」物はある」ということは本当である fact9: 「もし荒々しくないとしたら若ししさらに舐る」物はある fact10: もしもこの保険原理は解き放たないとすると「尊いしまた下ろし易い」ということは成り立たない fact11: もしもこの保険原理が尊いということはないならばそれは思い易くて奥床しい fact12: もし何かは総合化するということはないとすれば「それは先行きであるしそれに青っぽい」ということは嘘である fact13: もしも「この保険原理は受け辛くない」ということは確かであるなら下ろし易いしさらに新規上場申請者だ fact14: 「もしも蒲柳でないとすると「奥床しいし加えて白い」ということは偽な」物はある fact15: もしもこの保険原理は解き放つとすると「尊くて加えてそれは下ろし易い」ということは間違いである fact16: 「仮に「恨めしい」ということは真実ならば「宣戦布告するししかも帯びる」ということは嘘である」物はある fact17: もしこの保険原理は解き放たないとすると「尊いしその上下ろし易い」ということは確かである fact18: 「コントロールパネルなら「断ずるしまた疎外する」ということは誤っている」ものはある
fact10 -> hypothesis;
fact10 -> hypothesis;
「もし仮に「総合化しない」ということは正しいなら「先行きであるし更に青っぽい」ということは成り立つということはない」物はある
fact19 -> int1: もし仮にあのトール金は総合化しないならば「それは先行きであるしまた青っぽい」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: もし「この保険原理はセレクトする」ということは確かだとすれば「それは由々しいし解き放つ」ということは成り立たない fact2: 「もし仮に擬装するということはないとしたら「ＡＰＥＣ地域であるし廃れる」ということは成り立たない」ものはある fact3: もし「この保険原理は解き放たない」ということは確かであるとすると「それは青っぽくて心弱い」ということは誤っている fact4: 「仮に解き放たないならば尊いし下ろし易い」ものはある fact5: 「誘発し易いとすると「挿入位置であるし加えて転属だ」ということは間違いな」ものはある fact6: もしもこの保険原理は順応し易くないとすれば「それは詮無くてさらにそれは広がり易い」ということは間違いである fact7: 「もし仮に「落成しない」ということは正しいなら「荒々しくて加えて非人間化だ」ということは誤りな」物はある fact8: 「「もしも解き放てば「尊くて下ろし易い」ということは間違っている」物はある」ということは本当である fact9: 「もし荒々しくないとしたら若ししさらに舐る」物はある fact10: もしもこの保険原理は解き放たないとすると「尊いしまた下ろし易い」ということは成り立たない fact11: もしもこの保険原理が尊いということはないならばそれは思い易くて奥床しい fact12: もし何かは総合化するということはないとすれば「それは先行きであるしそれに青っぽい」ということは嘘である fact13: もしも「この保険原理は受け辛くない」ということは確かであるなら下ろし易いしさらに新規上場申請者だ fact14: 「もしも蒲柳でないとすると「奥床しいし加えて白い」ということは偽な」物はある fact15: もしもこの保険原理は解き放つとすると「尊くて加えてそれは下ろし易い」ということは間違いである fact16: 「仮に「恨めしい」ということは真実ならば「宣戦布告するししかも帯びる」ということは嘘である」物はある fact17: もしこの保険原理は解き放たないとすると「尊いしその上下ろし易い」ということは確かである fact18: 「コントロールパネルなら「断ずるしまた疎外する」ということは誤っている」ものはある ; $hypothesis$ = 「仮に解き放たないならば「尊くて加えて下ろし易い」ということは成り立つということはない」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もし「この保険原理はセレクトする」ということは確かだとすれば「それは由々しいし解き放つ」ということは成り立たない
事実2: 「もし仮に擬装するということはないとしたら「ＡＰＥＣ地域であるし廃れる」ということは成り立たない」ものはある
事実3: もし「この保険原理は解き放たない」ということは確かであるとすると「それは青っぽくて心弱い」ということは誤っている
事実4: 「仮に解き放たないならば尊いし下ろし易い」ものはある
事実5: 「誘発し易いとすると「挿入位置であるし加えて転属だ」ということは間違いな」ものはある
事実6: もしもこの保険原理は順応し易くないとすれば「それは詮無くてさらにそれは広がり易い」ということは間違いである
事実7: 「もし仮に「落成しない」ということは正しいなら「荒々しくて加えて非人間化だ」ということは誤りな」物はある
事実8: 「「もしも解き放てば「尊くて下ろし易い」ということは間違っている」物はある」ということは本当である
事実9: 「もし荒々しくないとしたら若ししさらに舐る」物はある
事実10: もしもこの保険原理は解き放たないとすると「尊いしまた下ろし易い」ということは成り立たない
事実11: もしもこの保険原理が尊いということはないならばそれは思い易くて奥床しい
事実12: もし何かは総合化するということはないとすれば「それは先行きであるしそれに青っぽい」ということは嘘である
事実13: もしも「この保険原理は受け辛くない」ということは確かであるなら下ろし易いしさらに新規上場申請者だ
事実14: 「もしも蒲柳でないとすると「奥床しいし加えて白い」ということは偽な」物はある
事実15: もしもこの保険原理は解き放つとすると「尊くて加えてそれは下ろし易い」ということは間違いである
事実16: 「仮に「恨めしい」ということは真実ならば「宣戦布告するししかも帯びる」ということは嘘である」物はある
事実17: もしこの保険原理は解き放たないとすると「尊いしその上下ろし易い」ということは確かである
事実18: 「コントロールパネルなら「断ずるしまた疎外する」ということは誤っている」ものはある

仮説: 「仮に解き放たないならば「尊くて加えて下ろし易い」ということは成り立つということはない」物はある
1. 事実10から、仮説が導かれる

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