「「考え深いということはなくてしかも規則正しくない」ということは成り立たない」ものはある
fact1: 「その山中他界は考え深いということはないしそれは規則正しくない」ということは嘘である
$facts$ = fact1: 「その山中他界は考え深いということはないしそれは規則正しくない」ということは嘘である ; $hypothesis$ = 「「考え深いということはなくてしかも規則正しくない」ということは成り立たない」ものはある ; $proof$ = 
事実1: 「その山中他界は考え深いということはないしそれは規則正しくない」ということは嘘である

仮説: 「「考え深いということはなくてしかも規則正しくない」ということは成り立たない」ものはある