the Caesarianness occurs and the juvenileness does not occur if the fives occurs.
sent1: if the fives happens the structuralness happens. sent2: the juvenile is prevented by either that the structuralness happens or that the impinging fanatic happens or both. sent3: the ripple and/or the malignness happens. sent4: that the electroencephalographicness happens and/or that the counterterrorness occurs brings about that the dealing does not occur. sent5: the fact that the psychiatricness occurs is right. sent6: either the vacuuming spectrometer or the puerperalness or both occurs. sent7: the opacity happens. sent8: if the interoceptiveness occurs the perusing ratification but not the briefing flat happens. sent9: that the expiratoriness occurs results in the deserting. sent10: the Ugandan does not occur. sent11: the elocutionariness happens. sent12: if the fact that the dimmedness occurs hold then the vacuuming marbleization occurs. sent13: if the structuralness does not occur then the fives occurs and the impinging angler occurs. sent14: the Caesarianness occurs.
void -> assump1: Let's assume that the fives occurs.; sent1 & assump1 -> int1: the structuralness happens.; int1 -> int2: the structuralness occurs and/or the impinging fanatic happens.; int2 & sent2 -> int3: the juvenile does not occur.; int3 & sent14 -> int4: that the Caesarianness but not the juvenileness happens is true.; [assump1] & int4 -> hypothesis;
the unlikableness occurs and/or the impinging angler occurs.
$hypothesis$ = the Caesarianness occurs and the juvenileness does not occur if the fives occurs. ; $context$ = sent1: if the fives happens the structuralness happens. sent2: the juvenile is prevented by either that the structuralness happens or that the impinging fanatic happens or both. sent3: the ripple and/or the malignness happens. sent4: that the electroencephalographicness happens and/or that the counterterrorness occurs brings about that the dealing does not occur. sent5: the fact that the psychiatricness occurs is right. sent6: either the vacuuming spectrometer or the puerperalness or both occurs. sent7: the opacity happens. sent8: if the interoceptiveness occurs the perusing ratification but not the briefing flat happens. sent9: that the expiratoriness occurs results in the deserting. sent10: the Ugandan does not occur. sent11: the elocutionariness happens. sent12: if the fact that the dimmedness occurs hold then the vacuuming marbleization occurs. sent13: if the structuralness does not occur then the fives occurs and the impinging angler occurs. sent14: the Caesarianness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fives occurs.; sent1 & assump1 -> int1: the structuralness happens.; int1 -> int2: the structuralness occurs and/or the impinging fanatic happens.; int2 & sent2 -> int3: the juvenile does not occur.; int3 & sent14 -> int4: that the Caesarianness but not the juvenileness happens is true.; [assump1] & int4 -> hypothesis; __PROVED__