the propoxyphene is a veterinarian.
sent1: if something does rub then it does stone transept. sent2: if the assignor stones transept the propoxyphene is a veterinarian. sent3: something does rub if it is a veterinarian. sent4: if the fact that the prick does rub hold then the fact that the assignor does stone transept hold.
the transept does stone transept.
sent1 -> int1: that the transept does stone transept is not false if it rubs.; sent3 -> int2: if the transept is a veterinarian then it is a kind of a rub.;
$hypothesis$ = the propoxyphene is a veterinarian. ; $context$ = sent1: if something does rub then it does stone transept. sent2: if the assignor stones transept the propoxyphene is a veterinarian. sent3: something does rub if it is a veterinarian. sent4: if the fact that the prick does rub hold then the fact that the assignor does stone transept hold. ; $proof$ = 
__UNKNOWN__