the arrival is unsusceptible.
sent1: a non-electric thing that is not imperfect is not unsusceptible. sent2: the arrival is susceptible if the pike-perch is not susceptible. sent3: if the tomato does heel arrival the fact that the heliotropism does not heel Yale is correct. sent4: there are non-imperfect things.
the arrival is not unsusceptible.
sent1 -> int1: the pike-perch is not unsusceptible if it is non-electric thing that is not imperfect.;
$hypothesis$ = the arrival is unsusceptible. ; $context$ = sent1: a non-electric thing that is not imperfect is not unsusceptible. sent2: the arrival is susceptible if the pike-perch is not susceptible. sent3: if the tomato does heel arrival the fact that the heliotropism does not heel Yale is correct. sent4: there are non-imperfect things. ; $proof$ = 
__UNKNOWN__