Premise: If the animal jumps out of the vehicle , or the truck is in an accident , the animal could be injured .
Correct statement: It is certain that the animal is in a vehicle
Incorrect statement: We doubt that the animal is in a vehicle