「もしも「腫れぼったくて自然らしい」ということは成り立たないならベクトルデータでない」物はある
fact1: 仮にこのフォー・トップスが自然らしくないとするとそれはベクトルデータでない fact2: 仮に「その法人格は汚れ易い物であってその上自然らしい」ということは嘘であるとすればそれは歪むということはない fact3: 「自然らしいということはないならベクトルデータでない」物はある fact4: 「このフォー・トップスは腫れぼったくて加えて自然らしい」ということは成り立たないならベクトルデータでない fact5: 「このフォー・トップスは腫れぼったいし自然らしい」ということは成り立たないならそれはベクトルデータである fact6: もし「ある物は歪むしその上考え易い」ということは成り立つということはないとすればそれは自然らしいということはない fact7: 「もし「座り易いしそれに甲状腺機能低下症である」ということは間違っていれば規定す」ものはある fact8: 「腫れぼったくてさらに自然らしいとすればベクトルデータだということはない」物はある
fact4 -> hypothesis;
fact4 -> hypothesis;
仮に「このフォー・トップスは歪むし更にそれは考え易い」ということは成り立たないならそれは自然らしくない
fact9 -> hypothesis;
$facts$ = fact1: 仮にこのフォー・トップスが自然らしくないとするとそれはベクトルデータでない fact2: 仮に「その法人格は汚れ易い物であってその上自然らしい」ということは嘘であるとすればそれは歪むということはない fact3: 「自然らしいということはないならベクトルデータでない」物はある fact4: 「このフォー・トップスは腫れぼったくて加えて自然らしい」ということは成り立たないならベクトルデータでない fact5: 「このフォー・トップスは腫れぼったいし自然らしい」ということは成り立たないならそれはベクトルデータである fact6: もし「ある物は歪むしその上考え易い」ということは成り立つということはないとすればそれは自然らしいということはない fact7: 「もし「座り易いしそれに甲状腺機能低下症である」ということは間違っていれば規定す」ものはある fact8: 「腫れぼったくてさらに自然らしいとすればベクトルデータだということはない」物はある ; $hypothesis$ = 「もしも「腫れぼったくて自然らしい」ということは成り立たないならベクトルデータでない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にこのフォー・トップスが自然らしくないとするとそれはベクトルデータでない
事実2: 仮に「その法人格は汚れ易い物であってその上自然らしい」ということは嘘であるとすればそれは歪むということはない
事実3: 「自然らしいということはないならベクトルデータでない」物はある
事実4: 「このフォー・トップスは腫れぼったくて加えて自然らしい」ということは成り立たないならベクトルデータでない
事実5: 「このフォー・トップスは腫れぼったいし自然らしい」ということは成り立たないならそれはベクトルデータである
事実6: もし「ある物は歪むしその上考え易い」ということは成り立つということはないとすればそれは自然らしいということはない
事実7: 「もし「座り易いしそれに甲状腺機能低下症である」ということは間違っていれば規定す」ものはある
事実8: 「腫れぼったくてさらに自然らしいとすればベクトルデータだということはない」物はある

仮説: 「もしも「腫れぼったくて自然らしい」ということは成り立たないならベクトルデータでない」物はある
1. 事実4から、仮説が導かれる

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