if the nursing bedlamite occurs the overrunning wallboard occurs.
sent1: the non-linealness is brought about by that both the becoming procurement and the nursing bedlamite happens. sent2: that the nursing rumination happens hold if that the becoming procurement does not occur and the nursing bedlamite happens is wrong. sent3: the overrunning quilted does not occur. sent4: if the magnifying does not occur then the overprinting Leucanthemum does not occur. sent5: the seedlessness and the gluttonousness happens. sent6: if the conjuncture does not occur then the overrunning wallboard happens. sent7: if the linealness does not occur the conjuncture does not occur. sent8: the maintenance occurs. sent9: the stylization happens. sent10: the nursing Bridget does not occur if the examination does not occur. sent11: the neuroanatomicness occurs and the nursing curbstone occurs. sent12: the becoming procurement happens. sent13: the birefringentness occurs.
void -> assump1: Let's assume that the nursing bedlamite occurs.; sent12 & assump1 -> int1: both the becoming procurement and the nursing bedlamite happens.; sent1 & int1 -> int2: the linealness does not occur.; sent7 & int2 -> int3: that the conjuncture does not occur is correct.; sent6 & int3 -> int4: the overrunning wallboard happens.; [assump1] & int4 -> hypothesis;
the nursing rumination happens.
$hypothesis$ = if the nursing bedlamite occurs the overrunning wallboard occurs. ; $context$ = sent1: the non-linealness is brought about by that both the becoming procurement and the nursing bedlamite happens. sent2: that the nursing rumination happens hold if that the becoming procurement does not occur and the nursing bedlamite happens is wrong. sent3: the overrunning quilted does not occur. sent4: if the magnifying does not occur then the overprinting Leucanthemum does not occur. sent5: the seedlessness and the gluttonousness happens. sent6: if the conjuncture does not occur then the overrunning wallboard happens. sent7: if the linealness does not occur the conjuncture does not occur. sent8: the maintenance occurs. sent9: the stylization happens. sent10: the nursing Bridget does not occur if the examination does not occur. sent11: the neuroanatomicness occurs and the nursing curbstone occurs. sent12: the becoming procurement happens. sent13: the birefringentness occurs. ; $proof$ = 
void -> assump1: Let's assume that the nursing bedlamite occurs.; sent12 & assump1 -> int1: both the becoming procurement and the nursing bedlamite happens.; sent1 & int1 -> int2: the linealness does not occur.; sent7 & int2 -> int3: that the conjuncture does not occur is correct.; sent6 & int3 -> int4: the overrunning wallboard happens.; [assump1] & int4 -> hypothesis; __PROVED__