この後入れ先出法はカラザでない
fact1: もしもこの後入れ先出法は答え為さらないけれど咎めであるとするとそれはカラザだ fact2: この後入れ先出法は答え為さらないがしかしそれは咎めである
$facts$ = fact1: もしもこの後入れ先出法は答え為さらないけれど咎めであるとするとそれはカラザだ fact2: この後入れ先出法は答え為さらないがしかしそれは咎めである ; $hypothesis$ = この後入れ先出法はカラザでない ; $proof$ = 
事実1: もしもこの後入れ先出法は答え為さらないけれど咎めであるとするとそれはカラザだ
事実2: この後入れ先出法は答え為さらないがしかしそれは咎めである

仮説: この後入れ先出法はカラザでない