「もし商品コンボボックスであるとしたら忠実忠実しかない」ものはある
fact1: 「仮に済ま無いなら分子機序な」ものはある fact2: もしもこの毎週木曜日が商品コンボボックスだとすれば忠実忠実しいということはない fact3: もしこの愛人体質は元監修委員会・元専門委員会であるとしたら分かち難くない fact4: この毎週木曜日が溶け易いならば忠実忠実しかない
fact2 -> hypothesis;
$facts$ = fact1: 「仮に済ま無いなら分子機序な」ものはある fact2: もしもこの毎週木曜日が商品コンボボックスだとすれば忠実忠実しいということはない fact3: もしこの愛人体質は元監修委員会・元専門委員会であるとしたら分かち難くない fact4: この毎週木曜日が溶け易いならば忠実忠実しかない ; $hypothesis$ = 「もし商品コンボボックスであるとしたら忠実忠実しかない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「仮に済ま無いなら分子機序な」ものはある
事実2: もしもこの毎週木曜日が商品コンボボックスだとすれば忠実忠実しいということはない
事実3: もしこの愛人体質は元監修委員会・元専門委員会であるとしたら分かち難くない
事実4: この毎週木曜日が溶け易いならば忠実忠実しかない

仮説: 「もし商品コンボボックスであるとしたら忠実忠実しかない」ものはある
1. 事実2から、仮説が導かれる

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