the racerunner is a kind of a parthenocarpy and is a sapsago.
sent1: the racerunner is friendly if there exists something such that the fact that it does not acquit and does resect periselene is not right. sent2: there exists something such that the fact that it does not acquit and does resect periselene is wrong. sent3: that the racerunner is a parthenocarpy is not incorrect. sent4: the fact that the racerunner resects periselene is not false. sent5: there is something such that it is not a sapsago and it is a kind of a parthenocarpy.
sent2 & sent1 -> int1: the racerunner is a friendly.;
$hypothesis$ = the racerunner is a kind of a parthenocarpy and is a sapsago. ; $context$ = sent1: the racerunner is friendly if there exists something such that the fact that it does not acquit and does resect periselene is not right. sent2: there exists something such that the fact that it does not acquit and does resect periselene is wrong. sent3: that the racerunner is a parthenocarpy is not incorrect. sent4: the fact that the racerunner resects periselene is not false. sent5: there is something such that it is not a sapsago and it is a kind of a parthenocarpy. ; $proof$ = 
sent2 & sent1 -> int1: the racerunner is a friendly.; __UNKNOWN__