the fact that the bluestone is not a Aglaonema is correct.
sent1: something is not rectosigmoid but it is billiards. sent2: the bluestone is not a Robertson. sent3: if something is not a skin then that it is not imperial and it is Turkish does not hold. sent4: that the fact that the bluestone is a Robertson and does not barb hostilities is right does not hold if the corkboard is not a kind of a bay. sent5: if something that eliminates swallow consists then the corkboard is not a Robertson. sent6: if the herbage is not a deictic then the fact that the bluestone is a kind of a notch but it is not a bay is wrong. sent7: something that is not a kind of a Robertson is textual or does not barb hostilities or both. sent8: if the fact that something is a kind of a notch and does not bay does not hold then it is not a Aglaonema. sent9: if that the corkboard is textual is not wrong it barbs hostilities. sent10: if something barbs hostilities it is a kind of a Robertson. sent11: that the famulus is a bay and a Robertson is not true. sent12: if the fact that something overpowers planetoid but it is not a Mexican does not hold then it is not imperial. sent13: if there is something such that that it is not a skin and eliminates swallow does not hold the famulus is not a Aglaonema. sent14: the famulus is not algolagnic. sent15: the herbage is not a deictic if there exists something such that that it is not a kind of a skin and is textual is incorrect. sent16: the famulus does eliminate swallow and does consist.
void -> assump1: Let's assume that the corkboard is not a skin but it is textual.; assump1 -> int1: the corkboard is not non-textual.; int1 & sent9 -> int2: the corkboard does barb hostilities.; sent10 -> int3: the corkboard is a Robertson if it does barb hostilities.; int2 & int3 -> int4: the corkboard is a kind of a Robertson.; sent16 -> int5: there exists something such that it eliminates swallow and does consist.; int5 & sent5 -> int6: the corkboard is not a Robertson.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the corkboard is not a kind of a skin but it is textual is false.; int8 -> int9: the fact that there exists something such that the fact that it is not a skin and it is textual is not true is not false.; int9 & sent15 -> int10: the herbage is not deictic.; int10 & sent6 -> int11: that the bluestone is a kind of a notch but it is not a bay does not hold.; sent8 -> int12: the fact that the bluestone is not a Aglaonema is correct if that it is both a notch and not a bay is not true.; int11 & int12 -> hypothesis;
the bluestone is a Aglaonema.
sent7 -> int13: the herbage is textual and/or it does not barb hostilities if it is not a Robertson.; sent11 -> int14: there exists something such that that it is a bay and a Robertson is incorrect.;
$hypothesis$ = the fact that the bluestone is not a Aglaonema is correct. ; $context$ = sent1: something is not rectosigmoid but it is billiards. sent2: the bluestone is not a Robertson. sent3: if something is not a skin then that it is not imperial and it is Turkish does not hold. sent4: that the fact that the bluestone is a Robertson and does not barb hostilities is right does not hold if the corkboard is not a kind of a bay. sent5: if something that eliminates swallow consists then the corkboard is not a Robertson. sent6: if the herbage is not a deictic then the fact that the bluestone is a kind of a notch but it is not a bay is wrong. sent7: something that is not a kind of a Robertson is textual or does not barb hostilities or both. sent8: if the fact that something is a kind of a notch and does not bay does not hold then it is not a Aglaonema. sent9: if that the corkboard is textual is not wrong it barbs hostilities. sent10: if something barbs hostilities it is a kind of a Robertson. sent11: that the famulus is a bay and a Robertson is not true. sent12: if the fact that something overpowers planetoid but it is not a Mexican does not hold then it is not imperial. sent13: if there is something such that that it is not a skin and eliminates swallow does not hold the famulus is not a Aglaonema. sent14: the famulus is not algolagnic. sent15: the herbage is not a deictic if there exists something such that that it is not a kind of a skin and is textual is incorrect. sent16: the famulus does eliminate swallow and does consist. ; $proof$ = 
void -> assump1: Let's assume that the corkboard is not a skin but it is textual.; assump1 -> int1: the corkboard is not non-textual.; int1 & sent9 -> int2: the corkboard does barb hostilities.; sent10 -> int3: the corkboard is a Robertson if it does barb hostilities.; int2 & int3 -> int4: the corkboard is a kind of a Robertson.; sent16 -> int5: there exists something such that it eliminates swallow and does consist.; int5 & sent5 -> int6: the corkboard is not a Robertson.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the corkboard is not a kind of a skin but it is textual is false.; int8 -> int9: the fact that there exists something such that the fact that it is not a skin and it is textual is not true is not false.; int9 & sent15 -> int10: the herbage is not deictic.; int10 & sent6 -> int11: that the bluestone is a kind of a notch but it is not a bay does not hold.; sent8 -> int12: the fact that the bluestone is not a Aglaonema is correct if that it is both a notch and not a bay is not true.; int11 & int12 -> hypothesis; __PROVED__