「もしも「その問題化は貧しないかもしくは登録しないかもしくはどちらもだ」ということは誤っていればその問題化は出入り口でない」ということは偽だ
fact1: もし「なにがしかの物は貧しないかまたは登録しない」ということは成り立たないとすればそれは出入り口でない
$facts$ = fact1: もし「なにがしかの物は貧しないかまたは登録しない」ということは成り立たないとすればそれは出入り口でない ; $hypothesis$ = 「もしも「その問題化は貧しないかもしくは登録しないかもしくはどちらもだ」ということは誤っていればその問題化は出入り口でない」ということは偽だ ; $proof$ = 
事実1: もし「なにがしかの物は貧しないかまたは登録しない」ということは成り立たないとすればそれは出入り口でない

仮説: 「もしも「その問題化は貧しないかもしくは登録しないかもしくはどちらもだ」ということは誤っていればその問題化は出入り口でない」ということは偽だ