the saline is not non-ascosporic if the acromion is leaky.
sent1: there exists something such that it does engineer. sent2: if the acromion is leaky the monkfish is an engineer. sent3: something is a Phalangeridae and is not an engineer if it is loose. sent4: that the acromion is an engineer hold. sent5: there exists something such that it is ascosporic. sent6: something that is not ascosporic is leaky and stares autotelism. sent7: there is something such that it stares autotelism. sent8: if the piccolo does disown monkfish then it is not ascosporic and it does not gin disturbance. sent9: the piccolo is not non-forceless and it disowns monkfish. sent10: that the piccolo is loose is not incorrect if there exists something such that the fact that it is loose thing that is a tenderizer does not hold. sent11: the jug stares autotelism. sent12: that the acromion is not non-leaky hold if the saline is non-leaky. sent13: the jug is leaky. sent14: the saline is ascosporic if an engineer does stare autotelism. sent15: The autotelism stares jug. sent16: that the saline is leaky is not false if the acromion is leaky. sent17: if the jug does stare autotelism then the monkfish does stare autotelism. sent18: there is something such that that it is not loose and is a tenderizer is not right.
void -> assump1: Let's assume that that the acromion is not non-leaky is true.; sent2 & assump1 -> int1: the monkfish does engineer.; sent17 & sent11 -> int2: the monkfish stares autotelism.; int1 & int2 -> int3: the monkfish does engineer and it does stare autotelism.; int3 -> int4: there exists something such that it is a kind of an engineer that stares autotelism.; int4 & sent14 -> int5: the saline is ascosporic.; [assump1] & int5 -> hypothesis;
the piccolo is leaky and it is a kind of a Phalangeridae.
sent6 -> int6: if that the piccolo is not ascosporic is true then it is a kind of leaky thing that stares autotelism.; sent9 -> int7: the piccolo does disown monkfish.; sent8 & int7 -> int8: the piccolo is non-ascosporic and it does not gin disturbance.; int8 -> int9: the piccolo is not ascosporic.; int6 & int9 -> int10: the piccolo is leaky thing that stares autotelism.; int10 -> int11: the piccolo is leaky.; sent3 -> int12: if the piccolo is loose the fact that it is a Phalangeridae and it is not an engineer is correct.; sent18 & sent10 -> int13: the piccolo is loose.; int12 & int13 -> int14: the piccolo is a kind of a Phalangeridae but it is not a kind of an engineer.; int14 -> int15: the piccolo is a kind of a Phalangeridae.; int11 & int15 -> hypothesis;
$hypothesis$ = the saline is not non-ascosporic if the acromion is leaky. ; $context$ = sent1: there exists something such that it does engineer. sent2: if the acromion is leaky the monkfish is an engineer. sent3: something is a Phalangeridae and is not an engineer if it is loose. sent4: that the acromion is an engineer hold. sent5: there exists something such that it is ascosporic. sent6: something that is not ascosporic is leaky and stares autotelism. sent7: there is something such that it stares autotelism. sent8: if the piccolo does disown monkfish then it is not ascosporic and it does not gin disturbance. sent9: the piccolo is not non-forceless and it disowns monkfish. sent10: that the piccolo is loose is not incorrect if there exists something such that the fact that it is loose thing that is a tenderizer does not hold. sent11: the jug stares autotelism. sent12: that the acromion is not non-leaky hold if the saline is non-leaky. sent13: the jug is leaky. sent14: the saline is ascosporic if an engineer does stare autotelism. sent15: The autotelism stares jug. sent16: that the saline is leaky is not false if the acromion is leaky. sent17: if the jug does stare autotelism then the monkfish does stare autotelism. sent18: there is something such that that it is not loose and is a tenderizer is not right. ; $proof$ = 
void -> assump1: Let's assume that that the acromion is not non-leaky is true.; sent2 & assump1 -> int1: the monkfish does engineer.; sent17 & sent11 -> int2: the monkfish stares autotelism.; int1 & int2 -> int3: the monkfish does engineer and it does stare autotelism.; int3 -> int4: there exists something such that it is a kind of an engineer that stares autotelism.; int4 & sent14 -> int5: the saline is ascosporic.; [assump1] & int5 -> hypothesis; __PROVED__