「「仮に円ベースでないとすれば後ろ暗くないけれど喋り難い」ものはある」ということは誤りである
fact1: もしもそのＳＡＴは円ベースでないならそれは後ろ暗くないけど喋り難い
$facts$ = fact1: もしもそのＳＡＴは円ベースでないならそれは後ろ暗くないけど喋り難い ; $hypothesis$ = 「「仮に円ベースでないとすれば後ろ暗くないけれど喋り難い」ものはある」ということは誤りである ; $proof$ = 
事実1: もしもそのＳＡＴは円ベースでないならそれは後ろ暗くないけど喋り難い

仮説: 「「仮に円ベースでないとすれば後ろ暗くないけれど喋り難い」ものはある」ということは誤りである