この隠し場所はウェブサービスでない
fact1: あの監督署はまあるい fact2: あの監督署がまあるいとしたらこの隠し場所はウェブサービスである
$facts$ = fact1: あの監督署はまあるい fact2: あの監督署がまあるいとしたらこの隠し場所はウェブサービスである ; $hypothesis$ = この隠し場所はウェブサービスでない ; $proof$ = 
事実1: あの監督署はまあるい
事実2: あの監督署がまあるいとしたらこの隠し場所はウェブサービスである

仮説: この隠し場所はウェブサービスでない