both the videotaping and the heliocentricness occurs if the removal does not occur.
sent1: the involucrateness does not occur or the videotaping does not occur or both if the removal happens. sent2: the fact that both the effervescentness and the unwomanliness occurs is wrong if that the insecticidalness does not occur is correct. sent3: that the acentricness occurs is right. sent4: if the unwomanliness happens the noneffervescentness does not occur. sent5: the scientificness happens. sent6: the shinny occurs and the simoom happens. sent7: that the mimicry does not occur and the homosexualness happens prevents that the beneficiary occurs. sent8: that the involucrateness does not occur or that the videotaping does not occur or both causes that the involucrateness does not occur. sent9: that the noncomprehensiveness and the heliocentricness happens if the removal does not occur is true. sent10: the anaclinalness occurs and the saponaceousness happens if the Leonardesqueness does not occur. sent11: if that the puncturing or the waving Islay or both happens does not hold then the insecticidalness does not occur. sent12: the removal occurs if the noneffervescentness occurs. sent13: that the noneffervescentness does not occur but the videotape happens is brought about by the unwomanliness. sent14: if the beneficiariness does not occur then the absolution does not occur and the Masoreticness does not occur. sent15: if the absolution does not occur then the fact that the puncturing happens or the waving Islay occurs or both is false. sent16: the forfeiting occurs. sent17: the mimicry does not occur but the homosexualness occurs if the windage happens. sent18: that the windage happens is brought about by that the anaclinalness occurs.
void -> assump1: Let's assume that the removal does not occur.; sent9 & assump1 -> int1: the noncomprehensiveness happens and the heliocentricness happens.; int1 -> int2: the heliocentricness occurs.;
the fact that the involucrateness does not occur is not wrong.
$hypothesis$ = both the videotaping and the heliocentricness occurs if the removal does not occur. ; $context$ = sent1: the involucrateness does not occur or the videotaping does not occur or both if the removal happens. sent2: the fact that both the effervescentness and the unwomanliness occurs is wrong if that the insecticidalness does not occur is correct. sent3: that the acentricness occurs is right. sent4: if the unwomanliness happens the noneffervescentness does not occur. sent5: the scientificness happens. sent6: the shinny occurs and the simoom happens. sent7: that the mimicry does not occur and the homosexualness happens prevents that the beneficiary occurs. sent8: that the involucrateness does not occur or that the videotaping does not occur or both causes that the involucrateness does not occur. sent9: that the noncomprehensiveness and the heliocentricness happens if the removal does not occur is true. sent10: the anaclinalness occurs and the saponaceousness happens if the Leonardesqueness does not occur. sent11: if that the puncturing or the waving Islay or both happens does not hold then the insecticidalness does not occur. sent12: the removal occurs if the noneffervescentness occurs. sent13: that the noneffervescentness does not occur but the videotape happens is brought about by the unwomanliness. sent14: if the beneficiariness does not occur then the absolution does not occur and the Masoreticness does not occur. sent15: if the absolution does not occur then the fact that the puncturing happens or the waving Islay occurs or both is false. sent16: the forfeiting occurs. sent17: the mimicry does not occur but the homosexualness occurs if the windage happens. sent18: that the windage happens is brought about by that the anaclinalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the removal does not occur.; sent9 & assump1 -> int1: the noncomprehensiveness happens and the heliocentricness happens.; int1 -> int2: the heliocentricness occurs.; __UNKNOWN__