「もしも「あの神通がＢ子だけど垂らさない」ということは間違いだとするとあの神通はロックしない」ということは間違いだ
fact1: もし「なにがしかのものはＢ子であるが垂らさない」ということは嘘だとすればロックしない
$facts$ = fact1: もし「なにがしかのものはＢ子であるが垂らさない」ということは嘘だとすればロックしない ; $hypothesis$ = 「もしも「あの神通がＢ子だけど垂らさない」ということは間違いだとするとあの神通はロックしない」ということは間違いだ ; $proof$ = 
事実1: もし「なにがしかのものはＢ子であるが垂らさない」ということは嘘だとすればロックしない

仮説: 「もしも「あの神通がＢ子だけど垂らさない」ということは間違いだとするとあの神通はロックしない」ということは間違いだ