この同鉱は危なくない
fact1: もし外光は流れ下らないなら「この同鉱は危ないということはない」ということは成り立つ fact2: なにがしかの物は外光だがしかし流れ下らない
$facts$ = fact1: もし外光は流れ下らないなら「この同鉱は危ないということはない」ということは成り立つ fact2: なにがしかの物は外光だがしかし流れ下らない ; $hypothesis$ = この同鉱は危なくない ; $proof$ = 
事実1: もし外光は流れ下らないなら「この同鉱は危ないということはない」ということは成り立つ
事実2: なにがしかの物は外光だがしかし流れ下らない

仮説: この同鉱は危なくない