「「その能楽は直接効力だしまた入会する」ということは誤っているならばあの能楽はバイトしない」ということは正しくない
fact1: 仮に「とある物は直接効力であるしまたそれは入会する」ということは誤っているとするとそれはバイトしない
$facts$ = fact1: 仮に「とある物は直接効力であるしまたそれは入会する」ということは誤っているとするとそれはバイトしない ; $hypothesis$ = 「「その能楽は直接効力だしまた入会する」ということは誤っているならばあの能楽はバイトしない」ということは正しくない ; $proof$ = 
事実1: 仮に「とある物は直接効力であるしまたそれは入会する」ということは誤っているとするとそれはバイトしない

仮説: 「「その能楽は直接効力だしまた入会する」ということは誤っているならばあの能楽はバイトしない」ということは正しくない