the inhabitant is bumpy.
sent1: if the saunterer is ontogenetic then the marocain is a world-weariness. sent2: the inhabitant is a skep. sent3: the inhabitant is a skep and it is bumpy if the application does not nod habitation. sent4: the saunterer is not ontogenetic but it is a Rocroi if that the councillor is a kind of a world-weariness hold. sent5: if the metabolite is not a kind of a Confucian the fact that that the linguist is a kind of a Confucian and it is angiospermous is not incorrect is not true. sent6: if that the linguist is a kind of Confucian thing that is angiospermous is not true the application does not nod habitation. sent7: the saunterer is ontogenetic and/or it is a Rocroi. sent8: the marocain is a kind of a world-weariness if the saunterer is a Rocroi. sent9: there is something such that it does not crook Urdu or is a kind of a world-weariness or both. sent10: the metabolite is not a Confucian if there is something such that the fact that it does not crook Urdu and/or it is a world-weariness is wrong. sent11: that the councillor either does not crook Urdu or is a world-weariness or both is not true if the marocain is a world-weariness. sent12: there exists something such that it does crook Urdu. sent13: the councillor is not a world-weariness. sent14: the inhabitant is a skep if the application does not nod habitation. sent15: there is something such that it is not a world-weariness.
sent7 & sent1 & sent8 -> int1: the marocain is a world-weariness.; sent11 & int1 -> int2: that that either the councillor does not crook Urdu or it is a world-weariness or both does not hold is correct.; int2 -> int3: there exists something such that that it either does not crook Urdu or is a world-weariness or both does not hold.; int3 & sent10 -> int4: the metabolite is not a Confucian.; sent5 & int4 -> int5: the fact that the fact that the linguist is both Confucian and not non-angiospermous is not false is incorrect.; sent6 & int5 -> int6: the application does not nod habitation.; sent3 & int6 -> int7: the inhabitant is a skep and it is bumpy.; int7 -> hypothesis;
the inhabitant is not bumpy.
$hypothesis$ = the inhabitant is bumpy. ; $context$ = sent1: if the saunterer is ontogenetic then the marocain is a world-weariness. sent2: the inhabitant is a skep. sent3: the inhabitant is a skep and it is bumpy if the application does not nod habitation. sent4: the saunterer is not ontogenetic but it is a Rocroi if that the councillor is a kind of a world-weariness hold. sent5: if the metabolite is not a kind of a Confucian the fact that that the linguist is a kind of a Confucian and it is angiospermous is not incorrect is not true. sent6: if that the linguist is a kind of Confucian thing that is angiospermous is not true the application does not nod habitation. sent7: the saunterer is ontogenetic and/or it is a Rocroi. sent8: the marocain is a kind of a world-weariness if the saunterer is a Rocroi. sent9: there is something such that it does not crook Urdu or is a kind of a world-weariness or both. sent10: the metabolite is not a Confucian if there is something such that the fact that it does not crook Urdu and/or it is a world-weariness is wrong. sent11: that the councillor either does not crook Urdu or is a world-weariness or both is not true if the marocain is a world-weariness. sent12: there exists something such that it does crook Urdu. sent13: the councillor is not a world-weariness. sent14: the inhabitant is a skep if the application does not nod habitation. sent15: there is something such that it is not a world-weariness. ; $proof$ = 
sent7 & sent1 & sent8 -> int1: the marocain is a world-weariness.; sent11 & int1 -> int2: that that either the councillor does not crook Urdu or it is a world-weariness or both does not hold is correct.; int2 -> int3: there exists something such that that it either does not crook Urdu or is a world-weariness or both does not hold.; int3 & sent10 -> int4: the metabolite is not a Confucian.; sent5 & int4 -> int5: the fact that the fact that the linguist is both Confucian and not non-angiospermous is not false is incorrect.; sent6 & int5 -> int6: the application does not nod habitation.; sent3 & int6 -> int7: the inhabitant is a skep and it is bumpy.; int7 -> hypothesis; __PROVED__