「仮に一学期であるとすれば「取り込む」ということは間違いでない」物はある
fact1: もしなんらかのものが嬉し過ぎるとしたら脾摘である fact2: もし仮に「このとんは一学期でない」ということは偽だとしたらそれは取り込む fact3: 「神殿であるならば「仕舞い易い」ということは成り立つ」ものはある
fact2 -> hypothesis;
「嬉し過ぎるとすれば脾摘な」物はある
fact4 -> int1: あの三市場が嬉し過ぎるとするとそれは脾摘だ; int1 -> hypothesis;
$facts$ = fact1: もしなんらかのものが嬉し過ぎるとしたら脾摘である fact2: もし仮に「このとんは一学期でない」ということは偽だとしたらそれは取り込む fact3: 「神殿であるならば「仕舞い易い」ということは成り立つ」ものはある ; $hypothesis$ = 「仮に一学期であるとすれば「取り込む」ということは間違いでない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしなんらかのものが嬉し過ぎるとしたら脾摘である
事実2: もし仮に「このとんは一学期でない」ということは偽だとしたらそれは取り込む
事実3: 「神殿であるならば「仕舞い易い」ということは成り立つ」ものはある

仮説: 「仮に一学期であるとすれば「取り込む」ということは間違いでない」物はある
1. 事実2から、仮説が導かれる

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