「「もし「主管しないかあるいは移ろい易くないかまたは両方だ」ということは誤りであるとすれば溢れ出さない」ものはある」ということは成り立たない
fact1: もし仮に「あのハッジは主管しないか移ろい易くないか両方である」ということは誤っていればそれは溢れ出さない
$facts$ = fact1: もし仮に「あのハッジは主管しないか移ろい易くないか両方である」ということは誤っていればそれは溢れ出さない ; $hypothesis$ = 「「もし「主管しないかあるいは移ろい易くないかまたは両方だ」ということは誤りであるとすれば溢れ出さない」ものはある」ということは成り立たない ; $proof$ = 
事実1: もし仮に「あのハッジは主管しないか移ろい易くないか両方である」ということは誤っていればそれは溢れ出さない

仮説: 「「もし「主管しないかあるいは移ろい易くないかまたは両方だ」ということは誤りであるとすれば溢れ出さない」ものはある」ということは成り立たない