あのデータ構造は売っ払う
fact1: もしもその十六文が事理であるししかも粘性土であるならばあのデータ構造は売っ払わない fact2: 「その十六文は事理であるし粘性土である」ということは事実である
$facts$ = fact1: もしもその十六文が事理であるししかも粘性土であるならばあのデータ構造は売っ払わない fact2: 「その十六文は事理であるし粘性土である」ということは事実である ; $hypothesis$ = あのデータ構造は売っ払う ; $proof$ = 
事実1: もしもその十六文が事理であるししかも粘性土であるならばあのデータ構造は売っ払わない
事実2: 「その十六文は事理であるし粘性土である」ということは事実である

仮説: あのデータ構造は売っ払う