「もし「あの城郭都市は気怠くらないが経ち上げる」ということは嘘だとしたらあの城郭都市はタブー視する」ということは誤りである
fact1: もしも「何らかのものは気怠いということはないがしかし経ち上げる」ということは間違いであるとするとそれはタブー視する
$facts$ = fact1: もしも「何らかのものは気怠いということはないがしかし経ち上げる」ということは間違いであるとするとそれはタブー視する ; $hypothesis$ = 「もし「あの城郭都市は気怠くらないが経ち上げる」ということは嘘だとしたらあの城郭都市はタブー視する」ということは誤りである ; $proof$ = 
事実1: もしも「何らかのものは気怠いということはないがしかし経ち上げる」ということは間違いであるとするとそれはタブー視する

仮説: 「もし「あの城郭都市は気怠くらないが経ち上げる」ということは嘘だとしたらあの城郭都市はタブー視する」ということは誤りである