「この自然本性は薄明るいかもしくはそれは言い替えないかあるいは両方だ」ということは誤りである
fact1: 「トリガーな」ものはある fact2: もしトリガーはあるなら「この自然本性は薄明るいかあるいは言い替えるということはないかまたは両方だ」ということは本当であるということはない
$facts$ = fact1: 「トリガーな」ものはある fact2: もしトリガーはあるなら「この自然本性は薄明るいかあるいは言い替えるということはないかまたは両方だ」ということは本当であるということはない ; $hypothesis$ = 「この自然本性は薄明るいかもしくはそれは言い替えないかあるいは両方だ」ということは誤りである ; $proof$ = 
事実1: 「トリガーな」ものはある
事実2: もしトリガーはあるなら「この自然本性は薄明るいかあるいは言い替えるということはないかまたは両方だ」ということは本当であるということはない

仮説: 「この自然本性は薄明るいかもしくはそれは言い替えないかあるいは両方だ」ということは誤りである