the overprinting Federalist does not occur.
sent1: the fact that the fact that the Thracian does not occur and the click does not occur is not correct is not incorrect. sent2: the overprinting neoconservatism does not occur. sent3: the annihilation happens if the hula happens. sent4: the non-Andorranness and the non-kinestheticness happens. sent5: the becoming madrigal does not occur if the becoming fetish does not occur. sent6: the magnetism happens. sent7: if the re-creation does not occur and the nursing Swinburne does not occur the annihilation does not occur. sent8: the fact that the becoming breasted does not occur is not true. sent9: if the becoming madrigal occurs then the fact that the becoming fetish does not occur and the overprinting Federalist does not occur is false. sent10: that the overprinting Federalist does not occur is brought about by that the becoming fetish happens and the professional occurs. sent11: if that the becoming madrigal does not occur is not wrong then the re-creation does not occur and the nursing Swinburne does not occur. sent12: if the magnetism happens then the fact that that the becoming plasmablast does not occur and the professionalness does not occur is false hold. sent13: that the annihilation does not occur is prevented by the overprinting schist. sent14: that the overprinting hydrofluorocarbon does not occur is caused by that the SIGINT does not occur. sent15: the overprinting femtometer does not occur if the unportableness does not occur. sent16: the professionalness happens if that the becoming plasmablast does not occur and the professionalness does not occur does not hold.
void -> assump1: Let's assume that the fact that the becoming fetish does not occur is right.; sent5 & assump1 -> int1: the becoming madrigal does not occur.; int1 & sent11 -> int2: that the re-creation does not occur and the nursing Swinburne does not occur is right.; int2 & sent7 -> int3: the annihilation does not occur.; sent12 & sent6 -> int4: the fact that the becoming plasmablast does not occur and the professional does not occur is wrong.; sent16 & int4 -> int5: the professional happens.;
the overprinting Federalist occurs.
$hypothesis$ = the overprinting Federalist does not occur. ; $context$ = sent1: the fact that the fact that the Thracian does not occur and the click does not occur is not correct is not incorrect. sent2: the overprinting neoconservatism does not occur. sent3: the annihilation happens if the hula happens. sent4: the non-Andorranness and the non-kinestheticness happens. sent5: the becoming madrigal does not occur if the becoming fetish does not occur. sent6: the magnetism happens. sent7: if the re-creation does not occur and the nursing Swinburne does not occur the annihilation does not occur. sent8: the fact that the becoming breasted does not occur is not true. sent9: if the becoming madrigal occurs then the fact that the becoming fetish does not occur and the overprinting Federalist does not occur is false. sent10: that the overprinting Federalist does not occur is brought about by that the becoming fetish happens and the professional occurs. sent11: if that the becoming madrigal does not occur is not wrong then the re-creation does not occur and the nursing Swinburne does not occur. sent12: if the magnetism happens then the fact that that the becoming plasmablast does not occur and the professionalness does not occur is false hold. sent13: that the annihilation does not occur is prevented by the overprinting schist. sent14: that the overprinting hydrofluorocarbon does not occur is caused by that the SIGINT does not occur. sent15: the overprinting femtometer does not occur if the unportableness does not occur. sent16: the professionalness happens if that the becoming plasmablast does not occur and the professionalness does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the becoming fetish does not occur is right.; sent5 & assump1 -> int1: the becoming madrigal does not occur.; int1 & sent11 -> int2: that the re-creation does not occur and the nursing Swinburne does not occur is right.; int2 & sent7 -> int3: the annihilation does not occur.; sent12 & sent6 -> int4: the fact that the becoming plasmablast does not occur and the professional does not occur is wrong.; sent16 & int4 -> int5: the professional happens.; __UNKNOWN__