if the wingman is not near the fact that the petard is a kind of a Invar that is not effective is not correct.
sent1: if the metatarsus is a militiaman the wingman is near. sent2: something is a kind of a bologna but it does not rendezvous throw if it is a militiaman. sent3: if the metatarsus is not a militiaman and/or it is not seaward the beachcomber is a militiaman.
void -> assump1: Let's assume that the petard is a Invar and is not effective.; assump1 -> int1: something is a kind of a Invar that is not effective.;
the beachcomber is a bologna but it does not rendezvous throw.
sent2 -> int2: if the beachcomber is a kind of a militiaman it is a bologna and it does not rendezvous throw.;
$hypothesis$ = if the wingman is not near the fact that the petard is a kind of a Invar that is not effective is not correct. ; $context$ = sent1: if the metatarsus is a militiaman the wingman is near. sent2: something is a kind of a bologna but it does not rendezvous throw if it is a militiaman. sent3: if the metatarsus is not a militiaman and/or it is not seaward the beachcomber is a militiaman. ; $proof$ = 
void -> assump1: Let's assume that the petard is a Invar and is not effective.; assump1 -> int1: something is a kind of a Invar that is not effective.; __UNKNOWN__