そのプロ並みはリングリンクスであるということはない
fact1: 「「ちっこくないし更に地球上である」ということは誤っている」ものはある fact2: もし仮に「「ちっこくないけど地球上である」ということは事実と異なる」ものがあるとすればあのプロ並みはリングリンクスでない fact3: 「「冒険しない一方で大工業である」ということは成り立たない」物はある
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「「ちっこくないし更に地球上である」ということは誤っている」ものはある fact2: もし仮に「「ちっこくないけど地球上である」ということは事実と異なる」ものがあるとすればあのプロ並みはリングリンクスでない fact3: 「「冒険しない一方で大工業である」ということは成り立たない」物はある ; $hypothesis$ = そのプロ並みはリングリンクスであるということはない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「「ちっこくないし更に地球上である」ということは誤っている」ものはある
事実2: もし仮に「「ちっこくないけど地球上である」ということは事実と異なる」ものがあるとすればあのプロ並みはリングリンクスでない
事実3: 「「冒険しない一方で大工業である」ということは成り立たない」物はある

仮説: そのプロ並みはリングリンクスであるということはない
1. 事実1と事実2から、仮説が導かれる

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