あの大量殺人は見下ろせるということはない
fact1: もし「あの大量殺人はしこり立つが揉まない」ということは成り立つということはないとすると「それは見下ろせる」ということは間違いであるということはない fact2: 「「あの大量殺人はしこり立つ一方でそれは揉まない」ということは間違いである」ということは真実だ
$facts$ = fact1: もし「あの大量殺人はしこり立つが揉まない」ということは成り立つということはないとすると「それは見下ろせる」ということは間違いであるということはない fact2: 「「あの大量殺人はしこり立つ一方でそれは揉まない」ということは間違いである」ということは真実だ ; $hypothesis$ = あの大量殺人は見下ろせるということはない ; $proof$ = 
事実1: もし「あの大量殺人はしこり立つが揉まない」ということは成り立つということはないとすると「それは見下ろせる」ということは間違いであるということはない
事実2: 「「あの大量殺人はしこり立つ一方でそれは揉まない」ということは間違いである」ということは真実だ

仮説: あの大量殺人は見下ろせるということはない