the pattering occurs.
sent1: the coining happens and/or the withdrawal does not occur if the metabolicness occurs. sent2: that both the particularisticness and the husbandliness occurs is triggered by that the withdrawal does not occur. sent3: the fact that the shrinking Panonychus does not occur and the stocktaking does not occur is incorrect if the sainthood does not occur. sent4: that the metabolicness does not occur but the withdrawal occurs is not true. sent5: if the Senecanness does not occur then the fact that the particularisticness happens and the sainthood occurs is not true. sent6: the withdrawal does not occur if that both the non-metabolicness and the withdrawal happens is not correct. sent7: the bacteroidalness does not occur but the accordantness occurs if the agroundness does not occur. sent8: that the Senecanness does not occur is brought about by that both the non-husbandlyness and the non-particularisticness occurs. sent9: if the fact that the taming quartan does not occur and the shrinking speck does not occur is wrong the pattering happens. sent10: the agroundness does not occur if that either the Echo does not occur or the indoctrination happens or both is false. sent11: if the taming quartan does not occur and the shrinking speck does not occur then the Senecanness happens. sent12: if the biliariness does not occur the metabolicness happens and the dent happens. sent13: if that the accordantness happens hold the biliariness does not occur. sent14: if the non-Senecanness and/or the non-husbandlyness happens the Senecanness does not occur. sent15: that the sainthood does not occur is right if that the particularisticness occurs and the sainthood happens is not correct.
void -> assump1: Let's assume that the taming quartan does not occur and the shrinking speck does not occur.; sent11 & assump1 -> int1: that the Senecanness happens is not false.; sent6 & sent4 -> int2: the withdrawal does not occur.; sent2 & int2 -> int3: the particularisticness and the husbandliness occurs.; int3 -> int4: the particularisticness happens.;
the fact that the shrinking Panonychus does not occur and the stocktaking does not occur is not correct.
$hypothesis$ = the pattering occurs. ; $context$ = sent1: the coining happens and/or the withdrawal does not occur if the metabolicness occurs. sent2: that both the particularisticness and the husbandliness occurs is triggered by that the withdrawal does not occur. sent3: the fact that the shrinking Panonychus does not occur and the stocktaking does not occur is incorrect if the sainthood does not occur. sent4: that the metabolicness does not occur but the withdrawal occurs is not true. sent5: if the Senecanness does not occur then the fact that the particularisticness happens and the sainthood occurs is not true. sent6: the withdrawal does not occur if that both the non-metabolicness and the withdrawal happens is not correct. sent7: the bacteroidalness does not occur but the accordantness occurs if the agroundness does not occur. sent8: that the Senecanness does not occur is brought about by that both the non-husbandlyness and the non-particularisticness occurs. sent9: if the fact that the taming quartan does not occur and the shrinking speck does not occur is wrong the pattering happens. sent10: the agroundness does not occur if that either the Echo does not occur or the indoctrination happens or both is false. sent11: if the taming quartan does not occur and the shrinking speck does not occur then the Senecanness happens. sent12: if the biliariness does not occur the metabolicness happens and the dent happens. sent13: if that the accordantness happens hold the biliariness does not occur. sent14: if the non-Senecanness and/or the non-husbandlyness happens the Senecanness does not occur. sent15: that the sainthood does not occur is right if that the particularisticness occurs and the sainthood happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the taming quartan does not occur and the shrinking speck does not occur.; sent11 & assump1 -> int1: that the Senecanness happens is not false.; sent6 & sent4 -> int2: the withdrawal does not occur.; sent2 & int2 -> int3: the particularisticness and the husbandliness occurs.; int3 -> int4: the particularisticness happens.; __UNKNOWN__