the unwrapping skullcap occurs but the cleanness does not occur.
sent1: the Court occurs. sent2: the fact that both the unwrapping skullcap and the uncleanness occurs is wrong if the bilabialness does not occur. sent3: if the fact that the unfamiliarness occurs but the stomp does not occur is not false the unwrapping antisyphilitic occurs. sent4: the impersonating Achaean occurs if the promissoriness but not the aliyah happens. sent5: if the fact that the escort happens hold the unwrapping skullcap occurs. sent6: that the scroll occurs is true if the phyllodialness happens. sent7: that the scrolling occurs and the requirement occurs prevents that the biosyntheticness occurs. sent8: that the workflow and the non-vulnerableness occurs does not hold if the busywork happens. sent9: if that both the workflow and the non-vulnerableness occurs is wrong then the escort happens. sent10: the camouflage occurs if the impersonating sou'wester occurs and the apophysealness happens. sent11: the cleanness does not occur if the biosyntheticness does not occur. sent12: the fact that the bilabial happens but the scroll does not occur is not right if the phyllodialness does not occur. sent13: the unfamiliarness happens but the stomping does not occur. sent14: the busywork occurs. sent15: that both the impersonating fad and the pecking happens is not right if the laryngospasm occurs. sent16: the fact that the unwrapping couch happens is not false. sent17: if the fact that the unwrapping antisyphilitic does not occur does not hold the requirement happens. sent18: the vicinalness happens. sent19: both the bilabialness and the phyllodialness occurs. sent20: the star occurs.
sent19 -> int1: the phyllodialness happens.; int1 & sent6 -> int2: the scrolling happens.; sent3 & sent13 -> int3: the unwrapping antisyphilitic happens.; sent17 & int3 -> int4: the requirement occurs.; int2 & int4 -> int5: both the scroll and the requirement happens.; int5 & sent7 -> int6: the biosyntheticness does not occur.; int6 & sent11 -> int7: the cleaning does not occur.; sent8 & sent14 -> int8: that the workflow happens and the vulnerableness does not occur is not right.; sent9 & int8 -> int9: the escort happens.; sent5 & int9 -> int10: the unwrapping skullcap occurs.; int7 & int10 -> hypothesis;
the fact that that the unwrapping skullcap but not the cleanness happens is not right hold.
$hypothesis$ = the unwrapping skullcap occurs but the cleanness does not occur. ; $context$ = sent1: the Court occurs. sent2: the fact that both the unwrapping skullcap and the uncleanness occurs is wrong if the bilabialness does not occur. sent3: if the fact that the unfamiliarness occurs but the stomp does not occur is not false the unwrapping antisyphilitic occurs. sent4: the impersonating Achaean occurs if the promissoriness but not the aliyah happens. sent5: if the fact that the escort happens hold the unwrapping skullcap occurs. sent6: that the scroll occurs is true if the phyllodialness happens. sent7: that the scrolling occurs and the requirement occurs prevents that the biosyntheticness occurs. sent8: that the workflow and the non-vulnerableness occurs does not hold if the busywork happens. sent9: if that both the workflow and the non-vulnerableness occurs is wrong then the escort happens. sent10: the camouflage occurs if the impersonating sou'wester occurs and the apophysealness happens. sent11: the cleanness does not occur if the biosyntheticness does not occur. sent12: the fact that the bilabial happens but the scroll does not occur is not right if the phyllodialness does not occur. sent13: the unfamiliarness happens but the stomping does not occur. sent14: the busywork occurs. sent15: that both the impersonating fad and the pecking happens is not right if the laryngospasm occurs. sent16: the fact that the unwrapping couch happens is not false. sent17: if the fact that the unwrapping antisyphilitic does not occur does not hold the requirement happens. sent18: the vicinalness happens. sent19: both the bilabialness and the phyllodialness occurs. sent20: the star occurs. ; $proof$ = 
sent19 -> int1: the phyllodialness happens.; int1 & sent6 -> int2: the scrolling happens.; sent3 & sent13 -> int3: the unwrapping antisyphilitic happens.; sent17 & int3 -> int4: the requirement occurs.; int2 & int4 -> int5: both the scroll and the requirement happens.; int5 & sent7 -> int6: the biosyntheticness does not occur.; int6 & sent11 -> int7: the cleaning does not occur.; sent8 & sent14 -> int8: that the workflow happens and the vulnerableness does not occur is not right.; sent9 & int8 -> int9: the escort happens.; sent5 & int9 -> int10: the unwrapping skullcap occurs.; int7 & int10 -> hypothesis; __PROVED__