if the housekeeping alder does not occur the microelectronicsness and the nonviolence occurs.
sent1: the housekeeping stable and the batholithicness occurs. sent2: if the housekeeping vertical does not occur the prodding catcall occurs and the romanticizing happens. sent3: that the prodding Wigner does not occur yields that the relacing cattleship does not occur and the housekeeping vertical does not occur. sent4: that the contending does not occur is prevented by that the housekeeping alder does not occur. sent5: the relacing Chamberlain does not occur. sent6: the justifying Muridae happens if the fact that the ultimateness does not occur and the Liverpudlianness does not occur is not right. sent7: if the relacing Chamberlain does not occur the prodding Wigner does not occur and the divulgence does not occur. sent8: both the camphoricness and the relacing Juneberry occurs if the single-laneness does not occur. sent9: if the ratlikeness does not occur then both the bore and the progestationalness happens. sent10: that the single-laneness does not occur is caused by the non-Taiwaneseness. sent11: if the fact that the ultimate happens is wrong then the nonviolence happens and the Liverpudlianness occurs. sent12: that the remaindering does not occur is prevented by that the housekeeping alder does not occur. sent13: that either the non-Taiwaneseness or the bore or both occurs prevents that the Taiwaneseness happens. sent14: that the Liverpudlianness occurs is caused by the non-ultimateness. sent15: if the fact that the prodding catcall happens hold then the fact that the branch happens is right. sent16: the ratlikeness does not occur. sent17: the microelectronicsness and the nonviolence occurs if the housekeeping alder happens. sent18: the ultimateness does not occur. sent19: if the branching happens that the fact that the ultimate does not occur and the Liverpudlianness does not occur is wrong is not incorrect. sent20: if the camphoricness occurs either the housekeeping alder does not occur or the nonviolence does not occur or both. sent21: the high-resolutionness does not occur.
void -> assump1: Let's assume that the housekeeping alder does not occur.; sent11 & sent18 -> int1: that the nonviolence and the Liverpudlianness occurs is true.; int1 -> int2: the nonviolence occurs.;
both the justifying Muridae and the remaindering occurs.
sent7 & sent5 -> int3: the prodding Wigner does not occur and the divulgence does not occur.; int3 -> int4: the prodding Wigner does not occur.; sent3 & int4 -> int5: the relacing cattleship does not occur and the housekeeping vertical does not occur.; int5 -> int6: the housekeeping vertical does not occur.; sent2 & int6 -> int7: both the prodding catcall and the romanticizing occurs.; int7 -> int8: the prodding catcall happens.; sent15 & int8 -> int9: the branch happens.; sent19 & int9 -> int10: that the ultimateness does not occur and the Liverpudlianness does not occur is incorrect.; sent6 & int10 -> int11: the justifying Muridae happens.; sent9 & sent16 -> int12: the bearing and the progestationalness occurs.; int12 -> int13: the fact that the bearing happens is not false.; int13 -> int14: the Taiwaneseness does not occur and/or the bearing happens.; sent13 & int14 -> int15: the Taiwaneseness does not occur.; sent10 & int15 -> int16: the single-laneness does not occur.; sent8 & int16 -> int17: the camphoricness and the relacing Juneberry happens.; int17 -> int18: the camphoricness happens.; sent20 & int18 -> int19: the housekeeping alder does not occur and/or the nonviolence does not occur.;
$hypothesis$ = if the housekeeping alder does not occur the microelectronicsness and the nonviolence occurs. ; $context$ = sent1: the housekeeping stable and the batholithicness occurs. sent2: if the housekeeping vertical does not occur the prodding catcall occurs and the romanticizing happens. sent3: that the prodding Wigner does not occur yields that the relacing cattleship does not occur and the housekeeping vertical does not occur. sent4: that the contending does not occur is prevented by that the housekeeping alder does not occur. sent5: the relacing Chamberlain does not occur. sent6: the justifying Muridae happens if the fact that the ultimateness does not occur and the Liverpudlianness does not occur is not right. sent7: if the relacing Chamberlain does not occur the prodding Wigner does not occur and the divulgence does not occur. sent8: both the camphoricness and the relacing Juneberry occurs if the single-laneness does not occur. sent9: if the ratlikeness does not occur then both the bore and the progestationalness happens. sent10: that the single-laneness does not occur is caused by the non-Taiwaneseness. sent11: if the fact that the ultimate happens is wrong then the nonviolence happens and the Liverpudlianness occurs. sent12: that the remaindering does not occur is prevented by that the housekeeping alder does not occur. sent13: that either the non-Taiwaneseness or the bore or both occurs prevents that the Taiwaneseness happens. sent14: that the Liverpudlianness occurs is caused by the non-ultimateness. sent15: if the fact that the prodding catcall happens hold then the fact that the branch happens is right. sent16: the ratlikeness does not occur. sent17: the microelectronicsness and the nonviolence occurs if the housekeeping alder happens. sent18: the ultimateness does not occur. sent19: if the branching happens that the fact that the ultimate does not occur and the Liverpudlianness does not occur is wrong is not incorrect. sent20: if the camphoricness occurs either the housekeeping alder does not occur or the nonviolence does not occur or both. sent21: the high-resolutionness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the housekeeping alder does not occur.; sent11 & sent18 -> int1: that the nonviolence and the Liverpudlianness occurs is true.; int1 -> int2: the nonviolence occurs.; __UNKNOWN__