その確り者は注意深くないかまたは諸規制であるかまたはどちらもである
fact1: 「あの塗り直しは処刑しない」ということは間違っていない fact2: 「あの神理は処刑しない」ということは間違っていない fact3: 仮にあの塗り直しが処刑しないとすればその確り者は注意深いということはないかもしくは諸規制であるかもしくは両方である
$facts$ = fact1: 「あの塗り直しは処刑しない」ということは間違っていない fact2: 「あの神理は処刑しない」ということは間違っていない fact3: 仮にあの塗り直しが処刑しないとすればその確り者は注意深いということはないかもしくは諸規制であるかもしくは両方である ; $hypothesis$ = その確り者は注意深くないかまたは諸規制であるかまたはどちらもである ; $proof$ = 
事実1: 「あの塗り直しは処刑しない」ということは間違っていない
事実2: 「あの神理は処刑しない」ということは間違っていない
事実3: 仮にあの塗り直しが処刑しないとすればその確り者は注意深いということはないかもしくは諸規制であるかもしくは両方である

仮説: その確り者は注意深くないかまたは諸規制であるかまたはどちらもである