the anaphoricness happens if the Mishnaicness occurs.
sent1: the yielding coprolite occurs. sent2: the afloatness or the yielding tunic or both occurs. sent3: the jobbing badness occurs. sent4: that the surfacingness occurs yields the actinomycetalness. sent5: that the yielding Dicranum happens brings about that the curettage happens. sent6: the pleasantry does not occur. sent7: if the aliveness happens then the curettage occurs. sent8: that the anaphoricness happens is brought about by that not the disembowelling sprayer but the Mishnaicness happens. sent9: the Palladianness happens. sent10: the teasing happens if not the disembowelling microtome but the flooding occurs. sent11: not the flooding but the aquiculturalness happens. sent12: the aliveness happens and/or the yielding Dicranum happens. sent13: the caroling happens. sent14: the meowing happens. sent15: both the jobbing Corchorus and the caroling occurs.
sent15 -> int1: the fact that the jobbing Corchorus happens is true.; sent12 & sent7 & sent5 -> int2: the curettage occurs.; int1 & int2 -> int3: the jobbing Corchorus happens and the curettage occurs.;
$hypothesis$ = the anaphoricness happens if the Mishnaicness occurs. ; $context$ = sent1: the yielding coprolite occurs. sent2: the afloatness or the yielding tunic or both occurs. sent3: the jobbing badness occurs. sent4: that the surfacingness occurs yields the actinomycetalness. sent5: that the yielding Dicranum happens brings about that the curettage happens. sent6: the pleasantry does not occur. sent7: if the aliveness happens then the curettage occurs. sent8: that the anaphoricness happens is brought about by that not the disembowelling sprayer but the Mishnaicness happens. sent9: the Palladianness happens. sent10: the teasing happens if not the disembowelling microtome but the flooding occurs. sent11: not the flooding but the aquiculturalness happens. sent12: the aliveness happens and/or the yielding Dicranum happens. sent13: the caroling happens. sent14: the meowing happens. sent15: both the jobbing Corchorus and the caroling occurs. ; $proof$ = 
sent15 -> int1: the fact that the jobbing Corchorus happens is true.; sent12 & sent7 & sent5 -> int2: the curettage occurs.; int1 & int2 -> int3: the jobbing Corchorus happens and the curettage occurs.; __UNKNOWN__