that either the jampan is an agitprop or it is long-distance or both does not hold if the oxtail is not a kind of a xanthomonad.
sent1: the jampan is a xanthomonad and long-distance if the backlog does not defervesce. sent2: the rubbing does not tunnel caveman. sent3: something is not an agitprop if that it tunnels caveman and it is not uncommon is not true. sent4: that the oxtail tunnels caveman but it is not uncommon is not right if that it is not a xanthomonad is not false. sent5: the jampan is not uncommon. sent6: the jampan is not an agitprop if the oxtail is not a xanthomonad. sent7: that either the jampan is an agitprop or it is long-distance or both is not right if the oxtail is not an agitprop. sent8: if the fact that the fact that the jampan is nonmonotonic but not a sarin is correct is incorrect then the fact that it is not an impressionist is true. sent9: if the oxtail is not a kind of a xanthomonad the jampan is an agitprop and/or it is long-distance. sent10: either the jampan is a kind of an agitprop or it is long-distance or both. sent11: something is not an agitprop if that it does not tunnel caveman is not false. sent12: if the fact that the oxtail does not oppose and it is not a kind of a xanthomonad does not hold then the fact that the stretch is not a kind of an agitprop is not incorrect. sent13: the jampan is not a kind of an agitprop. sent14: the haircut does not tunnel ladyfish and does not tunnel touched if something is not acropetal. sent15: the heart is not acropetal if it is not a preparation but expendable. sent16: the heart is not a preparation but it is expendable. sent17: if the oxtail is not an agitprop then the jampan is an agitprop or is not non-long-distance or both. sent18: if the oxtail is not a kind of an agitprop the jampan is not an agitprop.
void -> assump1: Let's assume that the oxtail is not a xanthomonad.; sent4 & assump1 -> int1: that the oxtail tunnels caveman but it is not uncommon does not hold.; sent3 -> int2: if that the oxtail does tunnel caveman but it is not uncommon is not right then it is not an agitprop.; int1 & int2 -> int3: the oxtail is not an agitprop.; int3 & sent7 -> int4: the fact that the jampan is a kind of an agitprop and/or it is long-distance is incorrect.; [assump1] & int4 -> hypothesis;
the stretch is not an agitprop.
sent15 & sent16 -> int5: the heart is not acropetal.; int5 -> int6: there is something such that it is not acropetal.; int6 & sent14 -> int7: the haircut does not tunnel ladyfish and does not tunnel touched.; int7 -> int8: something does not tunnel ladyfish and does not tunnel touched.;
$hypothesis$ = that either the jampan is an agitprop or it is long-distance or both does not hold if the oxtail is not a kind of a xanthomonad. ; $context$ = sent1: the jampan is a xanthomonad and long-distance if the backlog does not defervesce. sent2: the rubbing does not tunnel caveman. sent3: something is not an agitprop if that it tunnels caveman and it is not uncommon is not true. sent4: that the oxtail tunnels caveman but it is not uncommon is not right if that it is not a xanthomonad is not false. sent5: the jampan is not uncommon. sent6: the jampan is not an agitprop if the oxtail is not a xanthomonad. sent7: that either the jampan is an agitprop or it is long-distance or both is not right if the oxtail is not an agitprop. sent8: if the fact that the fact that the jampan is nonmonotonic but not a sarin is correct is incorrect then the fact that it is not an impressionist is true. sent9: if the oxtail is not a kind of a xanthomonad the jampan is an agitprop and/or it is long-distance. sent10: either the jampan is a kind of an agitprop or it is long-distance or both. sent11: something is not an agitprop if that it does not tunnel caveman is not false. sent12: if the fact that the oxtail does not oppose and it is not a kind of a xanthomonad does not hold then the fact that the stretch is not a kind of an agitprop is not incorrect. sent13: the jampan is not a kind of an agitprop. sent14: the haircut does not tunnel ladyfish and does not tunnel touched if something is not acropetal. sent15: the heart is not acropetal if it is not a preparation but expendable. sent16: the heart is not a preparation but it is expendable. sent17: if the oxtail is not an agitprop then the jampan is an agitprop or is not non-long-distance or both. sent18: if the oxtail is not a kind of an agitprop the jampan is not an agitprop. ; $proof$ = 
void -> assump1: Let's assume that the oxtail is not a xanthomonad.; sent4 & assump1 -> int1: that the oxtail tunnels caveman but it is not uncommon does not hold.; sent3 -> int2: if that the oxtail does tunnel caveman but it is not uncommon is not right then it is not an agitprop.; int1 & int2 -> int3: the oxtail is not an agitprop.; int3 & sent7 -> int4: the fact that the jampan is a kind of an agitprop and/or it is long-distance is incorrect.; [assump1] & int4 -> hypothesis; __PROVED__