その真っ暗闇はクロックだ
fact1: その真っ暗闇はラッドだ fact2: もし仮にその真っ暗闇がラッドならそれはクロックである
$facts$ = fact1: その真っ暗闇はラッドだ fact2: もし仮にその真っ暗闇がラッドならそれはクロックである ; $hypothesis$ = その真っ暗闇はクロックだ ; $proof$ = 
事実1: その真っ暗闇はラッドだ
事実2: もし仮にその真っ暗闇がラッドならそれはクロックである

仮説: その真っ暗闇はクロックだ