the primateship occurs.
sent1: if the herd happens the bodiliness occurs. sent2: the rambling phlogopite but not the precession occurs. sent3: both the instructing credibility and the herd occurs. sent4: that the systematicsness does not occur and the primateship does not occur yields that the instructing copyholder occurs. sent5: if the paleontologicalness does not occur the roundhouse does not occur. sent6: the irreparableness does not occur. sent7: the psychosexualness does not occur but the liaison happens if the Zimbabwean does not occur. sent8: if the instructing credibility does not occur then the roundhouse happens and/or the herding occurs. sent9: that the systematicsness occurs and the roundhouse does not occur triggers that the primateship does not occur. sent10: that the herding happens is prevented by the non-intraventricularness. sent11: if the roundhouse happens the bodiliness happens. sent12: the fact that the instructing credibility but not the alignment occurs is not true if the rambling togetherness happens. sent13: the instructing credibility does not occur if the fact that the instructing credibility occurs but the alignment does not occur is not correct. sent14: the psychosexualness happens. sent15: that the herd but not the roundhouse occurs is caused by the non-systematicsness. sent16: the headway but not the caudate happens. sent17: if the psychosexualness happens then the systematicsness happens. sent18: if that the intraventricularness occurs and the paleontologicalness does not occur is wrong the herding does not occur.
void -> assump1: Let's assume that the fact that the intraventricularness but not the paleontologicalness occurs is incorrect.; sent18 & assump1 -> int1: the herding does not occur.; sent3 -> int2: that the herding occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the intraventricularness and the non-paleontologicalness happens.; int4 -> int5: the paleontologicalness does not occur.; int5 & sent5 -> int6: the roundhouse does not occur.; sent17 & sent14 -> int7: that the systematicsness happens is not wrong.; int6 & int7 -> int8: the systematicsness but not the roundhouse happens.; int8 & sent9 -> hypothesis;
the bodiliness and the instructing copyholder happens.
$hypothesis$ = the primateship occurs. ; $context$ = sent1: if the herd happens the bodiliness occurs. sent2: the rambling phlogopite but not the precession occurs. sent3: both the instructing credibility and the herd occurs. sent4: that the systematicsness does not occur and the primateship does not occur yields that the instructing copyholder occurs. sent5: if the paleontologicalness does not occur the roundhouse does not occur. sent6: the irreparableness does not occur. sent7: the psychosexualness does not occur but the liaison happens if the Zimbabwean does not occur. sent8: if the instructing credibility does not occur then the roundhouse happens and/or the herding occurs. sent9: that the systematicsness occurs and the roundhouse does not occur triggers that the primateship does not occur. sent10: that the herding happens is prevented by the non-intraventricularness. sent11: if the roundhouse happens the bodiliness happens. sent12: the fact that the instructing credibility but not the alignment occurs is not true if the rambling togetherness happens. sent13: the instructing credibility does not occur if the fact that the instructing credibility occurs but the alignment does not occur is not correct. sent14: the psychosexualness happens. sent15: that the herd but not the roundhouse occurs is caused by the non-systematicsness. sent16: the headway but not the caudate happens. sent17: if the psychosexualness happens then the systematicsness happens. sent18: if that the intraventricularness occurs and the paleontologicalness does not occur is wrong the herding does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the intraventricularness but not the paleontologicalness occurs is incorrect.; sent18 & assump1 -> int1: the herding does not occur.; sent3 -> int2: that the herding occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the intraventricularness and the non-paleontologicalness happens.; int4 -> int5: the paleontologicalness does not occur.; int5 & sent5 -> int6: the roundhouse does not occur.; sent17 & sent14 -> int7: that the systematicsness happens is not wrong.; int6 & int7 -> int8: the systematicsness but not the roundhouse happens.; int8 & sent9 -> hypothesis; __DISPROVED__