「「そのヴィルピアン旦那は赤くないしそれは発現し易いということはない」ということは偽だとすると「そのヴィルピアン旦那は重畳する」ということは成り立つ」ということは誤っている
fact1: もし「とある物は赤くないしさらに発現し易くない」ということは誤っていれば重畳する
$facts$ = fact1: もし「とある物は赤くないしさらに発現し易くない」ということは誤っていれば重畳する ; $hypothesis$ = 「「そのヴィルピアン旦那は赤くないしそれは発現し易いということはない」ということは偽だとすると「そのヴィルピアン旦那は重畳する」ということは成り立つ」ということは誤っている ; $proof$ = 
事実1: もし「とある物は赤くないしさらに発現し易くない」ということは誤っていれば重畳する

仮説: 「「そのヴィルピアン旦那は赤くないしそれは発現し易いということはない」ということは偽だとすると「そのヴィルピアン旦那は重畳する」ということは成り立つ」ということは誤っている