that the dressage occurs is right.
sent1: the patristicness does not occur if the juggling does not occur. sent2: if the batting does not occur the fact that the wild and/or the rotogravure happens does not hold. sent3: if the follow-up does not occur the dressage occurs. sent4: the bacteriologicalness does not occur. sent5: if the bacteriologicalness does not occur the depriving chrysoberyl happens and the femaleness happens. sent6: if the lavage happens then the fact that the ultimateness occurs is true. sent7: the fact that the narrating plectranthus does not occur and the turnout does not occur is not correct if the follow-up happens. sent8: that the depriving chrysoberyl does not occur is not false if that either the wild happens or the rotogravure occurs or both is not true. sent9: if the catheterization occurs the fact that the lavage does not occur and the narrating multiplex does not occur is not right. sent10: both the affined and the insolubleness occurs if the ultimate does not occur. sent11: if the insolubleness does not occur both the follow-up and the femaleness occurs. sent12: if the narrating plectranthus does not occur the turnout occurs and the follow-up does not occur. sent13: the ultimateness yields that the non-insolubleness and the non-bacteriologicalness happens. sent14: if that the batting happens and the depriving chrysoberyl occurs does not hold then the dressage does not occur. sent15: that the lavage occurs if the fact that the lavage does not occur and the narrating multiplex does not occur is not true is true. sent16: that the batting and the affinedness happens triggers that the narrating plectranthus does not occur. sent17: if the depriving chrysoberyl does not occur and the batting does not occur the log does not occur. sent18: that the catheterization and the leakiness happens is brought about by that the patristicness does not occur.
void -> assump1: Let's assume that the batting does not occur.; sent2 & assump1 -> int1: that that the wildness happens and/or the rotogravure happens is right is not right.; int1 & sent8 -> int2: the depriving chrysoberyl does not occur.; sent5 & sent4 -> int3: the depriving chrysoberyl and the femaleness happens.; int3 -> int4: the depriving chrysoberyl happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the batting happens.;
the logging does not occur.
$hypothesis$ = that the dressage occurs is right. ; $context$ = sent1: the patristicness does not occur if the juggling does not occur. sent2: if the batting does not occur the fact that the wild and/or the rotogravure happens does not hold. sent3: if the follow-up does not occur the dressage occurs. sent4: the bacteriologicalness does not occur. sent5: if the bacteriologicalness does not occur the depriving chrysoberyl happens and the femaleness happens. sent6: if the lavage happens then the fact that the ultimateness occurs is true. sent7: the fact that the narrating plectranthus does not occur and the turnout does not occur is not correct if the follow-up happens. sent8: that the depriving chrysoberyl does not occur is not false if that either the wild happens or the rotogravure occurs or both is not true. sent9: if the catheterization occurs the fact that the lavage does not occur and the narrating multiplex does not occur is not right. sent10: both the affined and the insolubleness occurs if the ultimate does not occur. sent11: if the insolubleness does not occur both the follow-up and the femaleness occurs. sent12: if the narrating plectranthus does not occur the turnout occurs and the follow-up does not occur. sent13: the ultimateness yields that the non-insolubleness and the non-bacteriologicalness happens. sent14: if that the batting happens and the depriving chrysoberyl occurs does not hold then the dressage does not occur. sent15: that the lavage occurs if the fact that the lavage does not occur and the narrating multiplex does not occur is not true is true. sent16: that the batting and the affinedness happens triggers that the narrating plectranthus does not occur. sent17: if the depriving chrysoberyl does not occur and the batting does not occur the log does not occur. sent18: that the catheterization and the leakiness happens is brought about by that the patristicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the batting does not occur.; sent2 & assump1 -> int1: that that the wildness happens and/or the rotogravure happens is right is not right.; int1 & sent8 -> int2: the depriving chrysoberyl does not occur.; sent5 & sent4 -> int3: the depriving chrysoberyl and the femaleness happens.; int3 -> int4: the depriving chrysoberyl happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the batting happens.; __UNKNOWN__