この由来はディアマンテであるし空洞内である
fact1: この由来はディアマンテである fact2: この由来は空洞内だ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: この由来はディアマンテである fact2: この由来は空洞内だ ; $hypothesis$ = この由来はディアマンテであるし空洞内である ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: この由来はディアマンテである
事実2: この由来は空洞内だ

仮説: この由来はディアマンテであるし空洞内である
1. 事実1と事実2から、仮説が導かれる

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