the autobahn is not a savage and not vegetative.
sent1: the tamandua is faecal but it is not a kind of a barroom. sent2: there is something such that the fact that it savages and it does not greet demonstrativeness is wrong. sent3: that that the fresco is arbitrary thing that does not sex is incorrect hold. sent4: the bosom is not a sex if there exists something such that the fact that it is a lubrication and is not honest is not right. sent5: if that the bluestone is a kind of a lubrication and is a savage does not hold then it is not a sex. sent6: if the tamandua is not a savage the fact that the autobahn is not a savage and not vegetative is not right. sent7: that the tamandua does greet demonstrativeness and it is a sex does not hold if the bosom is not a sex. sent8: the autobahn does dump drawknife. sent9: the bluestone is honest. sent10: there exists something such that it does savage and is not vegetative. sent11: there is something such that that it is a sex that does not greet demonstrativeness is incorrect. sent12: that the bosom is vegetative but it is not a kind of a sex does not hold. sent13: the pointillist is not a metatarsal. sent14: the fact that the tamandua is both a lubrication and not a savage does not hold if the bluestone is not a lubrication. sent15: if the bluestone is not a kind of a savage then it is not a kind of a lubrication. sent16: the pallbearer is vegetative. sent17: if the fact that the tamandua greets demonstrativeness and it is a kind of a sex is not true it is not a savage.
void -> assump1: Let's assume that the bluestone is a lubrication but it is dishonest.; assump1 -> int1: the bluestone is not honest.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bluestone is a lubrication but it is not honest is wrong.; int3 -> int4: there exists something such that the fact that it is a lubrication and is not honest is not true.; int4 & sent4 -> int5: the fact that the bosom is not a kind of a sex is not incorrect.; int5 & sent7 -> int6: the fact that the tamandua does greet demonstrativeness and it does sex is wrong.; int6 & sent17 -> int7: the tamandua does not savage.; int7 & sent6 -> hypothesis;
$hypothesis$ = the autobahn is not a savage and not vegetative. ; $context$ = sent1: the tamandua is faecal but it is not a kind of a barroom. sent2: there is something such that the fact that it savages and it does not greet demonstrativeness is wrong. sent3: that that the fresco is arbitrary thing that does not sex is incorrect hold. sent4: the bosom is not a sex if there exists something such that the fact that it is a lubrication and is not honest is not right. sent5: if that the bluestone is a kind of a lubrication and is a savage does not hold then it is not a sex. sent6: if the tamandua is not a savage the fact that the autobahn is not a savage and not vegetative is not right. sent7: that the tamandua does greet demonstrativeness and it is a sex does not hold if the bosom is not a sex. sent8: the autobahn does dump drawknife. sent9: the bluestone is honest. sent10: there exists something such that it does savage and is not vegetative. sent11: there is something such that that it is a sex that does not greet demonstrativeness is incorrect. sent12: that the bosom is vegetative but it is not a kind of a sex does not hold. sent13: the pointillist is not a metatarsal. sent14: the fact that the tamandua is both a lubrication and not a savage does not hold if the bluestone is not a lubrication. sent15: if the bluestone is not a kind of a savage then it is not a kind of a lubrication. sent16: the pallbearer is vegetative. sent17: if the fact that the tamandua greets demonstrativeness and it is a kind of a sex is not true it is not a savage. ; $proof$ = 
void -> assump1: Let's assume that the bluestone is a lubrication but it is dishonest.; assump1 -> int1: the bluestone is not honest.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bluestone is a lubrication but it is not honest is wrong.; int3 -> int4: there exists something such that the fact that it is a lubrication and is not honest is not true.; int4 & sent4 -> int5: the fact that the bosom is not a kind of a sex is not incorrect.; int5 & sent7 -> int6: the fact that the tamandua does greet demonstrativeness and it does sex is wrong.; int6 & sent17 -> int7: the tamandua does not savage.; int7 & sent6 -> hypothesis; __DISPROVED__