the feeding occurs.
sent1: the floating occurs. sent2: the proctoscopy happens if the nontaxableness occurs. sent3: the defaulting historicism does not occur and the defaulting ashcake happens. sent4: the single-laneness occurs. sent5: if the phoneticsness happens and the floating happens then the chance-medley does not occur. sent6: if the floating does not occur not the feeding but the phoneticsness occurs. sent7: if the entozoanness happens the accreditation occurs. sent8: the powdering Sumerology does not occur. sent9: the floating does not occur if the chance-medley occurs but the proctoscopy does not occur. sent10: the respecting blizzard and the marveling fever happens. sent11: the declaring occurs if not the marveling training but the protrusion happens. sent12: the powdering Liriope happens. sent13: the freesianess happens if the phoneticsness does not occur. sent14: if both the colloguing and the disjunctness happens the defaulting kelpie does not occur. sent15: if the chance-medley does not occur but the proctoscopy occurs then the dyslexicness happens. sent16: the nontaxableness and the marveling lunula occurs. sent17: the powdering Sumerology does not occur and the dyslexicness does not occur. sent18: if the phoneticsness does not occur then both the feeding and the freesianess happens.
void -> assump1: Let's assume that the phoneticsness occurs.; assump1 & sent1 -> int1: the phoneticsness occurs and the floating happens.; int1 & sent5 -> int2: the chance-medley does not occur.; sent16 -> int3: the nontaxableness happens.; sent2 & int3 -> int4: the proctoscopy occurs.; int2 & int4 -> int5: not the chance-medley but the proctoscopy happens.; int5 & sent15 -> int6: the dyslexicness occurs.; sent17 -> int7: the dyslexicness does not occur.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the phoneticsness does not occur.; int9 & sent18 -> int10: the feeding occurs and the freesia happens.; int10 -> hypothesis;
the feeding does not occur.
$hypothesis$ = the feeding occurs. ; $context$ = sent1: the floating occurs. sent2: the proctoscopy happens if the nontaxableness occurs. sent3: the defaulting historicism does not occur and the defaulting ashcake happens. sent4: the single-laneness occurs. sent5: if the phoneticsness happens and the floating happens then the chance-medley does not occur. sent6: if the floating does not occur not the feeding but the phoneticsness occurs. sent7: if the entozoanness happens the accreditation occurs. sent8: the powdering Sumerology does not occur. sent9: the floating does not occur if the chance-medley occurs but the proctoscopy does not occur. sent10: the respecting blizzard and the marveling fever happens. sent11: the declaring occurs if not the marveling training but the protrusion happens. sent12: the powdering Liriope happens. sent13: the freesianess happens if the phoneticsness does not occur. sent14: if both the colloguing and the disjunctness happens the defaulting kelpie does not occur. sent15: if the chance-medley does not occur but the proctoscopy occurs then the dyslexicness happens. sent16: the nontaxableness and the marveling lunula occurs. sent17: the powdering Sumerology does not occur and the dyslexicness does not occur. sent18: if the phoneticsness does not occur then both the feeding and the freesianess happens. ; $proof$ = 
void -> assump1: Let's assume that the phoneticsness occurs.; assump1 & sent1 -> int1: the phoneticsness occurs and the floating happens.; int1 & sent5 -> int2: the chance-medley does not occur.; sent16 -> int3: the nontaxableness happens.; sent2 & int3 -> int4: the proctoscopy occurs.; int2 & int4 -> int5: not the chance-medley but the proctoscopy happens.; int5 & sent15 -> int6: the dyslexicness occurs.; sent17 -> int7: the dyslexicness does not occur.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the phoneticsness does not occur.; int9 & sent18 -> int10: the feeding occurs and the freesia happens.; int10 -> hypothesis; __PROVED__