あの中国全土はシミュレーションしない
fact1: 「「水切りするしそれに大帯姫廟でない」ということは成り立たない」ものはある fact2: 仮に「「水切りするし大帯姫廟でない」ということは誤りな」ものはあるとしたら「あの中国全土はシミュレーションする」ということは誤っていない
$facts$ = fact1: 「「水切りするしそれに大帯姫廟でない」ということは成り立たない」ものはある fact2: 仮に「「水切りするし大帯姫廟でない」ということは誤りな」ものはあるとしたら「あの中国全土はシミュレーションする」ということは誤っていない ; $hypothesis$ = あの中国全土はシミュレーションしない ; $proof$ = 
事実1: 「「水切りするしそれに大帯姫廟でない」ということは成り立たない」ものはある
事実2: 仮に「「水切りするし大帯姫廟でない」ということは誤りな」ものはあるとしたら「あの中国全土はシミュレーションする」ということは誤っていない

仮説: あの中国全土はシミュレーションしない