the percher is not hydrostatics.
sent1: the dewlap does deserve heaviness. sent2: that the percher does not tumble is correct. sent3: if something does tumble then it is not hydrostatics. sent4: the saki does not deserve deskman and it is not a reimposition. sent5: something is axillary if it deserves heaviness and it does not tumble. sent6: the precipitin does not fixate if the grid does not fixate and/or it is not a ruminant. sent7: the percher does not deserve percher. sent8: if that something does deserve heaviness and does not tumble is not true then it is not hydrostatics. sent9: something symmetrizes if it does not fixate. sent10: something is not non-axillary and/or it deserves dress if it does not resist dateline. sent11: the precipitin is an instruction if there is something such that that it is not electronics and it does not resist curator is not correct. sent12: if there is something such that it is not a kind of a reimposition then either the grid does not fixate or it is not a kind of a ruminant or both. sent13: if the percher is a tumble then it is not hydrostatics. sent14: the percher is hydrostatics if the alsatian is axillary. sent15: if that something is a kind of avirulent thing that is not a Wurzburg is not right it is not a polygamy. sent16: the evangelist is not an artiodactyl. sent17: the alsatian does not resist dateline if the precipitin is an instruction and it symmetrizes. sent18: the percher is not axillary. sent19: the fact that something is not electronics and it does not resist curator is not right if it is not artiodactyl.
sent5 -> int1: the percher is axillary if it does deserve heaviness and is not a tumble.; void -> assump1: Let's assume that the percher deserves heaviness but it is not a tumble.; int1 & assump1 -> int2: the percher is axillary.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the percher deserves heaviness but it does not tumble is not true.; sent8 -> int5: the percher is not hydrostatics if that it does deserve heaviness and is not a kind of a tumble is not right.; int4 & int5 -> hypothesis;
the percher is hydrostatics.
sent10 -> int6: the alsatian is axillary or deserves dress or both if it does not resist dateline.; sent19 -> int7: the fact that the evangelist is a kind of non-electronics thing that does not resist curator is not right if it is not a kind of an artiodactyl.; int7 & sent16 -> int8: that the evangelist is a kind of non-electronics thing that does not resist curator does not hold.; int8 -> int9: there is something such that the fact that it is not electronics and it does not resist curator does not hold.; int9 & sent11 -> int10: the precipitin is a kind of an instruction.; sent9 -> int11: if the precipitin does not fixate then the fact that it does symmetrize hold.; sent4 -> int12: the saki is not a reimposition.; int12 -> int13: there exists something such that it is not a reimposition.; int13 & sent12 -> int14: that the grid does not fixate and/or is not a ruminant is true.; sent6 & int14 -> int15: the precipitin does not fixate.; int11 & int15 -> int16: the precipitin does symmetrize.; int10 & int16 -> int17: the precipitin is an instruction and it does symmetrize.; sent17 & int17 -> int18: the alsatian does not resist dateline.; int6 & int18 -> int19: the alsatian is axillary and/or deserves dress.;
$hypothesis$ = the percher is not hydrostatics. ; $context$ = sent1: the dewlap does deserve heaviness. sent2: that the percher does not tumble is correct. sent3: if something does tumble then it is not hydrostatics. sent4: the saki does not deserve deskman and it is not a reimposition. sent5: something is axillary if it deserves heaviness and it does not tumble. sent6: the precipitin does not fixate if the grid does not fixate and/or it is not a ruminant. sent7: the percher does not deserve percher. sent8: if that something does deserve heaviness and does not tumble is not true then it is not hydrostatics. sent9: something symmetrizes if it does not fixate. sent10: something is not non-axillary and/or it deserves dress if it does not resist dateline. sent11: the precipitin is an instruction if there is something such that that it is not electronics and it does not resist curator is not correct. sent12: if there is something such that it is not a kind of a reimposition then either the grid does not fixate or it is not a kind of a ruminant or both. sent13: if the percher is a tumble then it is not hydrostatics. sent14: the percher is hydrostatics if the alsatian is axillary. sent15: if that something is a kind of avirulent thing that is not a Wurzburg is not right it is not a polygamy. sent16: the evangelist is not an artiodactyl. sent17: the alsatian does not resist dateline if the precipitin is an instruction and it symmetrizes. sent18: the percher is not axillary. sent19: the fact that something is not electronics and it does not resist curator is not right if it is not artiodactyl. ; $proof$ = 
sent5 -> int1: the percher is axillary if it does deserve heaviness and is not a tumble.; void -> assump1: Let's assume that the percher deserves heaviness but it is not a tumble.; int1 & assump1 -> int2: the percher is axillary.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the percher deserves heaviness but it does not tumble is not true.; sent8 -> int5: the percher is not hydrostatics if that it does deserve heaviness and is not a kind of a tumble is not right.; int4 & int5 -> hypothesis; __PROVED__