the coonskin does not house pargeting.
sent1: if that the pargeting is not propitious is right that the coonskin is ambiversive or is propitious or both does not hold. sent2: if something is brisant then it is not a Gobi. sent3: the pargeting is not propitious if the fact that the synchrotron does suffer Isabella but it is not expiatory hold. sent4: something is not antidotal if the fact that it suffers Isabella and is not expiatory is incorrect. sent5: the coonskin does not house pargeting if the fact that it is ambiversive or it is propitious or both is not true.
sent4 -> int1: the synchrotron is not antidotal if the fact that it suffers Isabella and is not expiatory is not true.; void -> assump1: Let's assume that that the synchrotron suffers Isabella but it is not expiatory does not hold.; int1 & assump1 -> int2: the synchrotron is non-antidotal.;
$hypothesis$ = the coonskin does not house pargeting. ; $context$ = sent1: if that the pargeting is not propitious is right that the coonskin is ambiversive or is propitious or both does not hold. sent2: if something is brisant then it is not a Gobi. sent3: the pargeting is not propitious if the fact that the synchrotron does suffer Isabella but it is not expiatory hold. sent4: something is not antidotal if the fact that it suffers Isabella and is not expiatory is incorrect. sent5: the coonskin does not house pargeting if the fact that it is ambiversive or it is propitious or both is not true. ; $proof$ = 
sent4 -> int1: the synchrotron is not antidotal if the fact that it suffers Isabella and is not expiatory is not true.; void -> assump1: Let's assume that that the synchrotron suffers Isabella but it is not expiatory does not hold.; int1 & assump1 -> int2: the synchrotron is non-antidotal.; __UNKNOWN__