あのＴＤＬは軽しない
fact1: 仮に「「末恐ろしくない」ということは成り立つ」物があるとするとあのＴＤＬは軽しない fact2: 何らかのものは末恐ろしくない
$facts$ = fact1: 仮に「「末恐ろしくない」ということは成り立つ」物があるとするとあのＴＤＬは軽しない fact2: 何らかのものは末恐ろしくない ; $hypothesis$ = あのＴＤＬは軽しない ; $proof$ = 
事実1: 仮に「「末恐ろしくない」ということは成り立つ」物があるとするとあのＴＤＬは軽しない
事実2: 何らかのものは末恐ろしくない

仮説: あのＴＤＬは軽しない