the troopship is salable.
sent1: the blackthorn does not cool. sent2: that something is both generous and not a Chateaubriand is not right if it nags. sent3: there exists something such that it is viviparous and is not a psychic. sent4: the fact that the champion is not a Rastafarian is not false. sent5: there exists something such that that it is both a sapsago and not euphonic does not hold. sent6: if something is not generous it is not salable. sent7: if the blackthorn is not euphonic the Mississippian is a Chateaubriand and/or is euphonic. sent8: the troopship is not generous if the Mississippian is euphonic. sent9: if there is something such that it is not insincere the blackthorn is not euphonic. sent10: the blackthorn is not euphonic if there exists something such that that it is insincere and not a sapsago is incorrect. sent11: the fact that the resistor is insincere and not a sapsago is not true. sent12: there exists something such that that it is insincere and it is a kind of a sapsago is incorrect. sent13: the blackthorn is not a hydrant. sent14: the troopship is not generous if the Mississippian is a Chateaubriand or is euphonic or both. sent15: if the blackthorn is euphonic then the troopship is salable. sent16: the Mississippian is not generous if there exists something such that that it is euphonic and it is not insincere is not right. sent17: there is something such that it is insincere and is not a sapsago.
sent11 -> int1: there is something such that the fact that it is a kind of insincere thing that is not a kind of a sapsago is wrong.; int1 & sent10 -> int2: the blackthorn is not euphonic.; int2 & sent7 -> int3: the Mississippian is either a Chateaubriand or not non-euphonic or both.; int3 & sent14 -> int4: the troopship is not generous.; sent6 -> int5: the troopship is not salable if it is not generous.; int4 & int5 -> hypothesis;
the troopship is salable.
sent2 -> int6: the fact that the Mississippian is generous and is not a Chateaubriand is wrong if it does nag.; sent4 -> int7: there are non-Rastafarian things.;
$hypothesis$ = the troopship is salable. ; $context$ = sent1: the blackthorn does not cool. sent2: that something is both generous and not a Chateaubriand is not right if it nags. sent3: there exists something such that it is viviparous and is not a psychic. sent4: the fact that the champion is not a Rastafarian is not false. sent5: there exists something such that that it is both a sapsago and not euphonic does not hold. sent6: if something is not generous it is not salable. sent7: if the blackthorn is not euphonic the Mississippian is a Chateaubriand and/or is euphonic. sent8: the troopship is not generous if the Mississippian is euphonic. sent9: if there is something such that it is not insincere the blackthorn is not euphonic. sent10: the blackthorn is not euphonic if there exists something such that that it is insincere and not a sapsago is incorrect. sent11: the fact that the resistor is insincere and not a sapsago is not true. sent12: there exists something such that that it is insincere and it is a kind of a sapsago is incorrect. sent13: the blackthorn is not a hydrant. sent14: the troopship is not generous if the Mississippian is a Chateaubriand or is euphonic or both. sent15: if the blackthorn is euphonic then the troopship is salable. sent16: the Mississippian is not generous if there exists something such that that it is euphonic and it is not insincere is not right. sent17: there is something such that it is insincere and is not a sapsago. ; $proof$ = 
sent11 -> int1: there is something such that the fact that it is a kind of insincere thing that is not a kind of a sapsago is wrong.; int1 & sent10 -> int2: the blackthorn is not euphonic.; int2 & sent7 -> int3: the Mississippian is either a Chateaubriand or not non-euphonic or both.; int3 & sent14 -> int4: the troopship is not generous.; sent6 -> int5: the troopship is not salable if it is not generous.; int4 & int5 -> hypothesis; __DISPROVED__