もし仮にその随所は後ろ暗くないとしたら「それは登記用紙であるかもしくは下向するかあるいはどちらもだ」ということは成り立たない
fact1: もしもなにかは後ろ暗くないならば「登記用紙であるかもしくは下向するかまたは両方ともである」ということは成り立たない
$facts$ = fact1: もしもなにかは後ろ暗くないならば「登記用紙であるかもしくは下向するかまたは両方ともである」ということは成り立たない ; $hypothesis$ = もし仮にその随所は後ろ暗くないとしたら「それは登記用紙であるかもしくは下向するかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
事実1: もしもなにかは後ろ暗くないならば「登記用紙であるかもしくは下向するかまたは両方ともである」ということは成り立たない

仮説: もし仮にその随所は後ろ暗くないとしたら「それは登記用紙であるかもしくは下向するかあるいはどちらもだ」ということは成り立たない