the rustlessness occurs if the dissolution does not occur.
sent1: that the dissolution and the non-rustlessness happens is wrong if the tottering happens. sent2: if the dissolution happens then the rustlessness happens. sent3: the rustlessness happens if the Anglophobicness occurs. sent4: the thread occurs if the fact that the detachableness occurs is right. sent5: if the tripping muumuu occurs then the zapping does not occur and the schematization does not occur. sent6: if the fact that the corruption but not the prestidigitation occurs is false the foot happens. sent7: the murmuring and the planking happens if the fact that the tripping concerned does not occur is not wrong. sent8: the Frenchifying Maximian happens and the tripping concerned does not occur if the zapping does not occur. sent9: that the callithumpianness does not occur and the procuring happens is brought about by the non-cataplasticness. sent10: if the fact that either the non-categoricness or the hearing neurotransmitter or both occurs does not hold then the tottering happens. sent11: that either the non-categoricness or the hearing neurotransmitter or both happens is not true if that the callithumpianness does not occur is not incorrect. sent12: if that both the politicalness and the non-Anglophobicness occurs is wrong then the rustlessness occurs. sent13: that the planking but not the tapping happens is incorrect. sent14: that the amortization happens triggers the detachableness. sent15: the tripping concerned happens if that the fact that the poisoning but not the hearing funnel happens is wrong is not false. sent16: that the cataplasticness does not occur is caused by the murmuring and/or that the inauguration happens. sent17: the transshipment does not occur if that the dissolution occurs but the rustlessness does not occur is not correct. sent18: that the achondriticness happens and the relation does not occur is false if the tripping Shiite does not occur.
the transshipment does not occur.
$hypothesis$ = the rustlessness occurs if the dissolution does not occur. ; $context$ = sent1: that the dissolution and the non-rustlessness happens is wrong if the tottering happens. sent2: if the dissolution happens then the rustlessness happens. sent3: the rustlessness happens if the Anglophobicness occurs. sent4: the thread occurs if the fact that the detachableness occurs is right. sent5: if the tripping muumuu occurs then the zapping does not occur and the schematization does not occur. sent6: if the fact that the corruption but not the prestidigitation occurs is false the foot happens. sent7: the murmuring and the planking happens if the fact that the tripping concerned does not occur is not wrong. sent8: the Frenchifying Maximian happens and the tripping concerned does not occur if the zapping does not occur. sent9: that the callithumpianness does not occur and the procuring happens is brought about by the non-cataplasticness. sent10: if the fact that either the non-categoricness or the hearing neurotransmitter or both occurs does not hold then the tottering happens. sent11: that either the non-categoricness or the hearing neurotransmitter or both happens is not true if that the callithumpianness does not occur is not incorrect. sent12: if that both the politicalness and the non-Anglophobicness occurs is wrong then the rustlessness occurs. sent13: that the planking but not the tapping happens is incorrect. sent14: that the amortization happens triggers the detachableness. sent15: the tripping concerned happens if that the fact that the poisoning but not the hearing funnel happens is wrong is not false. sent16: that the cataplasticness does not occur is caused by the murmuring and/or that the inauguration happens. sent17: the transshipment does not occur if that the dissolution occurs but the rustlessness does not occur is not correct. sent18: that the achondriticness happens and the relation does not occur is false if the tripping Shiite does not occur. ; $proof$ = 
__UNKNOWN__