この著作者は活用し易くないがしかし公選する
fact1: 「この著作者は活用し易くないけど複数用意する」ということは事実である fact2: あの自然石は活用し易くないがそれは喜ばしい fact3: この著作者は有るらしいということはないがしかし癒し難い fact4: もしもなにかは書き易いならばプチトマトだ一方で美しいということはない fact5: あらゆるものは書き易くない fact6: この著作者は通所でないけど俗っぽい fact7: この著作者は活用し易くない fact8: 仮になんらかのものは書き易くないとしたら「プチトマトだし美しい」ということは間違いだ fact9: この著作者は見えないがしかし導入時である fact10: この著作者は活用し易くないがしかしそれは公選する fact11: あの人員整理は活用し易くない一方で低し fact12: この著作者は形容し難くないが掻き易い fact13: その十世紀は群がらないがしかし公選する fact14: この著作者は内面化するということはないが表書きする
fact10 -> hypothesis;
fact10 -> hypothesis;
このタームは活用し易いということはないけれどいらしゃる
fact16 -> int1: もし仮にこの著作者は書き易くないなら「それはプチトマトであるしかつ美しい」ということは成り立つということはない; fact15 -> int2: この著作者は書き易いということはない; int1 & int2 -> int3: 「この著作者はプチトマトであるし加えて美しい」ということは間違っている;
$facts$ = fact1: 「この著作者は活用し易くないけど複数用意する」ということは事実である fact2: あの自然石は活用し易くないがそれは喜ばしい fact3: この著作者は有るらしいということはないがしかし癒し難い fact4: もしもなにかは書き易いならばプチトマトだ一方で美しいということはない fact5: あらゆるものは書き易くない fact6: この著作者は通所でないけど俗っぽい fact7: この著作者は活用し易くない fact8: 仮になんらかのものは書き易くないとしたら「プチトマトだし美しい」ということは間違いだ fact9: この著作者は見えないがしかし導入時である fact10: この著作者は活用し易くないがしかしそれは公選する fact11: あの人員整理は活用し易くない一方で低し fact12: この著作者は形容し難くないが掻き易い fact13: その十世紀は群がらないがしかし公選する fact14: この著作者は内面化するということはないが表書きする ; $hypothesis$ = この著作者は活用し易くないがしかし公選する ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「この著作者は活用し易くないけど複数用意する」ということは事実である
事実2: あの自然石は活用し易くないがそれは喜ばしい
事実3: この著作者は有るらしいということはないがしかし癒し難い
事実4: もしもなにかは書き易いならばプチトマトだ一方で美しいということはない
事実5: あらゆるものは書き易くない
事実6: この著作者は通所でないけど俗っぽい
事実7: この著作者は活用し易くない
事実8: 仮になんらかのものは書き易くないとしたら「プチトマトだし美しい」ということは間違いだ
事実9: この著作者は見えないがしかし導入時である
事実10: この著作者は活用し易くないがしかしそれは公選する
事実11: あの人員整理は活用し易くない一方で低し
事実12: この著作者は形容し難くないが掻き易い
事実13: その十世紀は群がらないがしかし公選する
事実14: この著作者は内面化するということはないが表書きする

仮説: この著作者は活用し易くないがしかし公選する
1. 事実10から、仮説が導かれる

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