the checkmating Tunisian leads to that the cock-a-doodle-doo does not occur.
sent1: if the laryngospasm happens and the pneumaticsness does not occur the dominating does not occur. sent2: the immortalizing Ms does not occur. sent3: if the cock-a-doodle-doo occurs then that the unselfishness does not occur and the checkmating Kraut occurs is false. sent4: that the life does not occur is not incorrect if the fact that both the curtainedness and the cock-a-doodle-doo occurs is false. sent5: the fact that not the unselfishness but the checkmating Kraut happens is not right. sent6: the fact that the curtainlessness happens is not wrong if the fact that the unselfishness does not occur and the checkmating Kraut does not occur is not right. sent7: the underpayment does not occur. sent8: the preoccupation does not occur. sent9: that the preoccupation does not occur is not wrong if the immortalizing Ms does not occur. sent10: the FM occurs. sent11: if the cock-a-doodle-doo occurs then that the unselfishness but not the checkmating Kraut occurs does not hold. sent12: if the cock-a-doodle-doo happens then that the unselfishness does not occur and the checkmating Kraut does not occur does not hold. sent13: the homer does not occur and the preoccupation does not occur if the immortalizing Ms does not occur. sent14: if the checkmating Tunisian happens then the cock-a-doodle-doo happens. sent15: that the immortalizing phasmid happens is prevented by that the immortalizing overlay and the non-ultramicroscopicness occurs.
void -> assump1: Let's assume that the fact that the cock-a-doodle-doo occurs is right.; sent12 & assump1 -> int1: the fact that the unselfishness does not occur and the checkmating Kraut does not occur is false.; int1 & sent6 -> int2: the curtainlessness occurs.; sent13 & sent2 -> int3: the homer does not occur and the preoccupation does not occur.; int3 -> int4: the homering does not occur.; int2 & int4 -> int5: the curtainlessness happens but the homering does not occur.;
the life does not occur.
$hypothesis$ = the checkmating Tunisian leads to that the cock-a-doodle-doo does not occur. ; $context$ = sent1: if the laryngospasm happens and the pneumaticsness does not occur the dominating does not occur. sent2: the immortalizing Ms does not occur. sent3: if the cock-a-doodle-doo occurs then that the unselfishness does not occur and the checkmating Kraut occurs is false. sent4: that the life does not occur is not incorrect if the fact that both the curtainedness and the cock-a-doodle-doo occurs is false. sent5: the fact that not the unselfishness but the checkmating Kraut happens is not right. sent6: the fact that the curtainlessness happens is not wrong if the fact that the unselfishness does not occur and the checkmating Kraut does not occur is not right. sent7: the underpayment does not occur. sent8: the preoccupation does not occur. sent9: that the preoccupation does not occur is not wrong if the immortalizing Ms does not occur. sent10: the FM occurs. sent11: if the cock-a-doodle-doo occurs then that the unselfishness but not the checkmating Kraut occurs does not hold. sent12: if the cock-a-doodle-doo happens then that the unselfishness does not occur and the checkmating Kraut does not occur does not hold. sent13: the homer does not occur and the preoccupation does not occur if the immortalizing Ms does not occur. sent14: if the checkmating Tunisian happens then the cock-a-doodle-doo happens. sent15: that the immortalizing phasmid happens is prevented by that the immortalizing overlay and the non-ultramicroscopicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cock-a-doodle-doo occurs is right.; sent12 & assump1 -> int1: the fact that the unselfishness does not occur and the checkmating Kraut does not occur is false.; int1 & sent6 -> int2: the curtainlessness occurs.; sent13 & sent2 -> int3: the homer does not occur and the preoccupation does not occur.; int3 -> int4: the homering does not occur.; int2 & int4 -> int5: the curtainlessness happens but the homering does not occur.; __UNKNOWN__