この中小企業退職金共済法は北の丸でない
fact1: この中小企業退職金共済法は湿っぽい fact2: もしもこの中小企業退職金共済法が湿っぽいとしたら北の丸でない
$facts$ = fact1: この中小企業退職金共済法は湿っぽい fact2: もしもこの中小企業退職金共済法が湿っぽいとしたら北の丸でない ; $hypothesis$ = この中小企業退職金共済法は北の丸でない ; $proof$ = 
事実1: この中小企業退職金共済法は湿っぽい
事実2: もしもこの中小企業退職金共済法が湿っぽいとしたら北の丸でない

仮説: この中小企業退職金共済法は北の丸でない