あの娼家は不遜さでない
fact1: もしもその便秘型がフロムならあの娼家は不遜さである fact2: その便秘型は製品メーカーであるかまたはそれはフロムであるかあるいは両方ともである fact3: もしその便秘型が製品メーカーであるならばあの娼家は不遜さだ
$facts$ = fact1: もしもその便秘型がフロムならあの娼家は不遜さである fact2: その便秘型は製品メーカーであるかまたはそれはフロムであるかあるいは両方ともである fact3: もしその便秘型が製品メーカーであるならばあの娼家は不遜さだ ; $hypothesis$ = あの娼家は不遜さでない ; $proof$ = 
事実1: もしもその便秘型がフロムならあの娼家は不遜さである
事実2: その便秘型は製品メーカーであるかまたはそれはフロムであるかあるいは両方ともである
事実3: もしその便秘型が製品メーカーであるならばあの娼家は不遜さだ

仮説: あの娼家は不遜さでない