the fossa is a saved.
sent1: the retiree does not entail Newark. sent2: the headpiece is puerperal. sent3: the roller-skater is irreparable. sent4: the fossa is not a saved if the roller-skater is not enthusiastic but it is irreparable. sent5: something is a umbo if it is a pyxidium. sent6: something that does entail Nevadan is a millwright. sent7: if that the roller-skater is a kind of a millwright hold then it is not non-irreparable. sent8: the fossa is a millwright if it saves. sent9: something does entail Newark if it collars Newark. sent10: if the fossa is not puerperal then it does collar Newark and it does not entail Newark. sent11: if something does collar Newark but it does not entail Newark it is not nonslippery. sent12: if the headpiece is not a saved and is enthusiastic the fact that the fossa does not entail Newark is correct. sent13: the roller-skater is a millwright if the headpiece does entail Newark. sent14: the headpiece is a kind of a saved. sent15: something is not puerperal if that it does not collar Newark hold. sent16: the kidney is not puerperal. sent17: if something is a millwright that is enthusiastic it is not puerperal. sent18: something is a lexicographer if it is not non-Keynesian. sent19: there exists something such that it is not a epithelium. sent20: if something is not a epithelium the fossa saves and/or it does entail Nevadan. sent21: the fossa does save and it entails Newark if it does not collar Newark. sent22: the roller-skater is not enthusiastic but it is irreparable if it is a millwright.
sent15 -> int1: if the headpiece does not collar Newark then it is not puerperal.; void -> assump1: Let's assume that the headpiece does not collar Newark.; int1 & assump1 -> int2: the headpiece is not puerperal.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headpiece collars Newark.; sent9 -> int5: the headpiece does entail Newark if it does collar Newark.; int4 & int5 -> int6: the headpiece does entail Newark.; int6 & sent13 -> int7: the roller-skater is a kind of a millwright.; int7 & sent22 -> int8: the roller-skater is not enthusiastic but irreparable.; int8 & sent4 -> hypothesis;
the fossa is not nonslippery.
sent11 -> int9: the fossa is not nonslippery if it collars Newark and it does not entail Newark.; sent17 -> int10: if the fossa is a kind of a millwright and it is enthusiastic then it is not puerperal.; sent19 & sent20 -> int11: either the fossa is a saved or it does entail Nevadan or both.; sent6 -> int12: if the fossa does entail Nevadan then it is a millwright.; int11 & sent8 & int12 -> int13: that the fossa is a millwright is true.;
$hypothesis$ = the fossa is a saved. ; $context$ = sent1: the retiree does not entail Newark. sent2: the headpiece is puerperal. sent3: the roller-skater is irreparable. sent4: the fossa is not a saved if the roller-skater is not enthusiastic but it is irreparable. sent5: something is a umbo if it is a pyxidium. sent6: something that does entail Nevadan is a millwright. sent7: if that the roller-skater is a kind of a millwright hold then it is not non-irreparable. sent8: the fossa is a millwright if it saves. sent9: something does entail Newark if it collars Newark. sent10: if the fossa is not puerperal then it does collar Newark and it does not entail Newark. sent11: if something does collar Newark but it does not entail Newark it is not nonslippery. sent12: if the headpiece is not a saved and is enthusiastic the fact that the fossa does not entail Newark is correct. sent13: the roller-skater is a millwright if the headpiece does entail Newark. sent14: the headpiece is a kind of a saved. sent15: something is not puerperal if that it does not collar Newark hold. sent16: the kidney is not puerperal. sent17: if something is a millwright that is enthusiastic it is not puerperal. sent18: something is a lexicographer if it is not non-Keynesian. sent19: there exists something such that it is not a epithelium. sent20: if something is not a epithelium the fossa saves and/or it does entail Nevadan. sent21: the fossa does save and it entails Newark if it does not collar Newark. sent22: the roller-skater is not enthusiastic but it is irreparable if it is a millwright. ; $proof$ = 
sent15 -> int1: if the headpiece does not collar Newark then it is not puerperal.; void -> assump1: Let's assume that the headpiece does not collar Newark.; int1 & assump1 -> int2: the headpiece is not puerperal.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headpiece collars Newark.; sent9 -> int5: the headpiece does entail Newark if it does collar Newark.; int4 & int5 -> int6: the headpiece does entail Newark.; int6 & sent13 -> int7: the roller-skater is a kind of a millwright.; int7 & sent22 -> int8: the roller-skater is not enthusiastic but irreparable.; int8 & sent4 -> hypothesis; __DISPROVED__