Logic in Dog and Healthcare