「このアパルトマンは欲である」ということは確かである
fact1: このアパルトマンはインド・ヨーロッパ系だ fact2: このアパルトマンが欲だということはなくてそれが投げ合わないとするとこの異端審問所は欲だ fact3: その借主は欲である fact4: このアパルトマンは欲である
fact4 -> hypothesis;
「この異端審問所は欲だ」ということは確かである
$facts$ = fact1: このアパルトマンはインド・ヨーロッパ系だ fact2: このアパルトマンが欲だということはなくてそれが投げ合わないとするとこの異端審問所は欲だ fact3: その借主は欲である fact4: このアパルトマンは欲である ; $hypothesis$ = 「このアパルトマンは欲である」ということは確かである ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: このアパルトマンはインド・ヨーロッパ系だ
事実2: このアパルトマンが欲だということはなくてそれが投げ合わないとするとこの異端審問所は欲だ
事実3: その借主は欲である
事実4: このアパルトマンは欲である

仮説: 「このアパルトマンは欲である」ということは確かである
1. 事実4から、仮説が導かれる

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