「もしその時等が汚らしくないならその時等は十二月以降でないし三世寺でない」ということは誤りである
fact1: 汚らしくないものは十二月以降でないしさらに三世寺でない
$facts$ = fact1: 汚らしくないものは十二月以降でないしさらに三世寺でない ; $hypothesis$ = 「もしその時等が汚らしくないならその時等は十二月以降でないし三世寺でない」ということは誤りである ; $proof$ = 
事実1: 汚らしくないものは十二月以降でないしさらに三世寺でない

仮説: 「もしその時等が汚らしくないならその時等は十二月以降でないし三世寺でない」ということは誤りである