あの美質は利用され易い
fact1: あの美質は揉めるし見開く fact2: 何かは見開くとすればそれは利用され易い
fact1 -> int1: あの美質は見開く; fact2 -> int2: 「あの美質は見開く」ということは本当であるとしたらそれは利用され易い; int1 & int2 -> hypothesis;
fact1 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: あの美質は揉めるし見開く fact2: 何かは見開くとすればそれは利用され易い ; $hypothesis$ = あの美質は利用され易い ; $proof$ = 
fact1 -> int1: あの美質は見開く; fact2 -> int2: 「あの美質は見開く」ということは本当であるとしたらそれは利用され易い; int1 & int2 -> hypothesis; __PROVED__
事実1: あの美質は揉めるし見開く
事実2: 何かは見開くとすればそれは利用され易い

仮説: あの美質は利用され易い
1. 事実1から、推論1: "あの美質は見開く"が導かれる
2. 事実2から、推論2: "「あの美質は見開く」ということは本当であるとしたらそれは利用され易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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