the interlinearness does not occur if the instroke and the magnetizing marmoset happens.
sent1: if that the feudatoriness occurs is right then the unmusicalness occurs. sent2: the bowing coastland happens. sent3: if the instroke occurs and the magnetizing marmoset occurs then the interlinearness occurs. sent4: that the criticizing monomaniac does not occur triggers that the googling occurs and the magnetizing marmoset happens. sent5: if that the magnetizing marmoset occurs is not false the criticizing monomaniac occurs. sent6: the magnetizing metallurgy occurs. sent7: the criticizing buna occurs. sent8: the unmusicalness does not occur if both the criticizing monomaniac and the interlinearness happens. sent9: that the factory-madeness occurs hold. sent10: both the glottalness and the magnetizing promising happens. sent11: the pigment occurs. sent12: the instroke occurs. sent13: if the magnetizing examination occurs the fact that the symbolization occurs is true. sent14: the interdisciplinariness is brought about by that the grounding happens. sent15: the statement does not occur. sent16: the criticizing microspore happens. sent17: the landfall happens if the bowing Maeandra happens. sent18: that that both the non-unmusicalness and the non-interlinearness happens is true does not hold if that the championship does not occur is correct.
void -> assump2: Let's assume that the instroke and the magnetizing marmoset happens.; assump2 -> int1: the magnetizing marmoset occurs.; int1 & sent5 -> int2: the fact that the criticizing monomaniac occurs is correct.; void -> assump1: Let's assume that the interlinearness happens.; int2 & assump1 -> int3: both the criticizing monomaniac and the interlinearness happens.; int3 & sent8 -> int4: the unmusicalness does not occur.;
both the googling and the criticizing Amentiferae occurs.
$hypothesis$ = the interlinearness does not occur if the instroke and the magnetizing marmoset happens. ; $context$ = sent1: if that the feudatoriness occurs is right then the unmusicalness occurs. sent2: the bowing coastland happens. sent3: if the instroke occurs and the magnetizing marmoset occurs then the interlinearness occurs. sent4: that the criticizing monomaniac does not occur triggers that the googling occurs and the magnetizing marmoset happens. sent5: if that the magnetizing marmoset occurs is not false the criticizing monomaniac occurs. sent6: the magnetizing metallurgy occurs. sent7: the criticizing buna occurs. sent8: the unmusicalness does not occur if both the criticizing monomaniac and the interlinearness happens. sent9: that the factory-madeness occurs hold. sent10: both the glottalness and the magnetizing promising happens. sent11: the pigment occurs. sent12: the instroke occurs. sent13: if the magnetizing examination occurs the fact that the symbolization occurs is true. sent14: the interdisciplinariness is brought about by that the grounding happens. sent15: the statement does not occur. sent16: the criticizing microspore happens. sent17: the landfall happens if the bowing Maeandra happens. sent18: that that both the non-unmusicalness and the non-interlinearness happens is true does not hold if that the championship does not occur is correct. ; $proof$ = 
void -> assump2: Let's assume that the instroke and the magnetizing marmoset happens.; assump2 -> int1: the magnetizing marmoset occurs.; int1 & sent5 -> int2: the fact that the criticizing monomaniac occurs is correct.; void -> assump1: Let's assume that the interlinearness happens.; int2 & assump1 -> int3: both the criticizing monomaniac and the interlinearness happens.; int3 & sent8 -> int4: the unmusicalness does not occur.; __UNKNOWN__