the grooving happens.
sent1: if the Bahamianness but not the window-shoping occurs that the groove happens is correct. sent2: if the synclinalness does not occur that the frisking Io but not the impersonation occurs is incorrect. sent3: if that the frisking Io occurs and the impersonation does not occur does not hold that the naturopathy does not occur is not incorrect. sent4: the fact that the window-shoping does not occur is not false if the summarizing Precambrian does not occur. sent5: that the empyrealness happens brings about the truncation. sent6: that the summarizing mahogany happens is not wrong. sent7: that both the Bahamian and the offsetting lipogram happens if the fitting does not occur is right. sent8: that both the Bahamian and the window-shoping happens causes that the grooving happens. sent9: if the summarizing mahogany does not occur then the fact that not the summarizing Precambrian but the groove happens does not hold. sent10: if the fact that the summarizing Precambrian does not occur and the groove happens does not hold then that the groove does not occur is not incorrect. sent11: if the window-shoping does not occur then that the summarizing mahogany but not the rifle occurs is not true. sent12: the window-shoping does not occur if the Bahamianness occurs. sent13: that the summarizing mahogany and the summarizing Precambrian happens prevents the rifling. sent14: the rifle happens. sent15: if the naturopathy does not occur then the secretoriness occurs and the disfranchisement happens. sent16: if the truncation occurs then the fitness does not occur. sent17: if the disfranchisement occurs the empyrealness happens. sent18: if the superannuation does not occur both the synclinalness and the unpriestlyness happens.
void -> assump1: Let's assume that the summarizing Precambrian happens.; sent6 & assump1 -> int1: the summarizing mahogany and the summarizing Precambrian occurs.; int1 & sent13 -> int2: the rifling does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the summarizing Precambrian does not occur.;
that the groove does not occur is right.
$hypothesis$ = the grooving happens. ; $context$ = sent1: if the Bahamianness but not the window-shoping occurs that the groove happens is correct. sent2: if the synclinalness does not occur that the frisking Io but not the impersonation occurs is incorrect. sent3: if that the frisking Io occurs and the impersonation does not occur does not hold that the naturopathy does not occur is not incorrect. sent4: the fact that the window-shoping does not occur is not false if the summarizing Precambrian does not occur. sent5: that the empyrealness happens brings about the truncation. sent6: that the summarizing mahogany happens is not wrong. sent7: that both the Bahamian and the offsetting lipogram happens if the fitting does not occur is right. sent8: that both the Bahamian and the window-shoping happens causes that the grooving happens. sent9: if the summarizing mahogany does not occur then the fact that not the summarizing Precambrian but the groove happens does not hold. sent10: if the fact that the summarizing Precambrian does not occur and the groove happens does not hold then that the groove does not occur is not incorrect. sent11: if the window-shoping does not occur then that the summarizing mahogany but not the rifle occurs is not true. sent12: the window-shoping does not occur if the Bahamianness occurs. sent13: that the summarizing mahogany and the summarizing Precambrian happens prevents the rifling. sent14: the rifle happens. sent15: if the naturopathy does not occur then the secretoriness occurs and the disfranchisement happens. sent16: if the truncation occurs then the fitness does not occur. sent17: if the disfranchisement occurs the empyrealness happens. sent18: if the superannuation does not occur both the synclinalness and the unpriestlyness happens. ; $proof$ = 
void -> assump1: Let's assume that the summarizing Precambrian happens.; sent6 & assump1 -> int1: the summarizing mahogany and the summarizing Precambrian occurs.; int1 & sent13 -> int2: the rifling does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the summarizing Precambrian does not occur.; __UNKNOWN__