その二十パーセント弱が空々しいけど冷め易くないとしたらそれは受け易い
fact1: 仮に空々しい物が冷め易いならばそれは受け易い fact2: もしもあるものは空々しい一方で冷め易くないとすると受け易い fact3: 仮に何らかのものは観賞する一方で実行し易くないとするとそれは分類整理する fact4: もし仮にあの索はカルシニューリンであるけど開店しないならばそれは空々しい fact5: 仮になんらかの物は腫れぼったいけど制度調査会でないとすると開披する fact6: ある物が配分実績総額だけど以後でないならば旧知だ fact7: 仮になにがしかの物はテレホンカードであるがしかしカルシニューリンだということはないとするとそれは概念である fact8: 仮にその二十パーセント弱は空々しくて加えて冷め易いとすると「受け易い」ということは事実だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 仮に空々しい物が冷め易いならばそれは受け易い fact2: もしもあるものは空々しい一方で冷め易くないとすると受け易い fact3: 仮に何らかのものは観賞する一方で実行し易くないとするとそれは分類整理する fact4: もし仮にあの索はカルシニューリンであるけど開店しないならばそれは空々しい fact5: 仮になんらかの物は腫れぼったいけど制度調査会でないとすると開披する fact6: ある物が配分実績総額だけど以後でないならば旧知だ fact7: 仮になにがしかの物はテレホンカードであるがしかしカルシニューリンだということはないとするとそれは概念である fact8: 仮にその二十パーセント弱は空々しくて加えて冷め易いとすると「受け易い」ということは事実だ ; $hypothesis$ = その二十パーセント弱が空々しいけど冷め易くないとしたらそれは受け易い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮に空々しい物が冷め易いならばそれは受け易い
事実2: もしもあるものは空々しい一方で冷め易くないとすると受け易い
事実3: 仮に何らかのものは観賞する一方で実行し易くないとするとそれは分類整理する
事実4: もし仮にあの索はカルシニューリンであるけど開店しないならばそれは空々しい
事実5: 仮になんらかの物は腫れぼったいけど制度調査会でないとすると開披する
事実6: ある物が配分実績総額だけど以後でないならば旧知だ
事実7: 仮になにがしかの物はテレホンカードであるがしかしカルシニューリンだということはないとするとそれは概念である
事実8: 仮にその二十パーセント弱は空々しくて加えて冷め易いとすると「受け易い」ということは事実だ

仮説: その二十パーセント弱が空々しいけど冷め易くないとしたらそれは受け易い
1. 事実2から、仮説が導かれる

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