the bladderwrack is not a headmastership.
sent1: if that the spectrophotometer is a Magellan and regenerating is not true then it is not a kind of a Hathaway. sent2: the spectrophotometer is not endoscopic if the fact that the highbrow is not a Tampico and it is not livable is incorrect. sent3: the bladderwrack is not a reaction but it does debut bible if that it is a headmastership is not false. sent4: the Malthusian is not a hypertonicity if there exists something such that the fact that it does not debut refrain and is actuarial does not hold. sent5: if something is not endoscopic that it is a Magellan and it does regenerate is not correct. sent6: that the bladderwrack is not a reaction but it debuts bible is incorrect if there is something such that it does not furlough Limulidae. sent7: that the salesclerk does not debut gnu and/or it is not ductless is false if the spectrophotometer is not a Hathaway. sent8: if there exists something such that the fact that it does not debut gnu and/or is not ductless does not hold the scapegrace is geophytic. sent9: there exists something such that it does not furlough Limulidae. sent10: if something is geophytic then it is carunculate. sent11: if the counterglow is a plastid it does not furlough Limulidae. sent12: the fact that the highbrow is not a Tampico and it is not livable is not correct if the Malthusian is not a kind of a hypertonicity. sent13: there exists something such that that it does not debut refrain and it is actuarial is not correct.
void -> assump1: Let's assume that the bladderwrack is a headmastership.; sent3 & assump1 -> int1: the bladderwrack is not a reaction but it does debut bible.; sent9 & sent6 -> int2: the fact that the fact that the bladderwrack is not a reaction but it debuts bible is not right is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the bladderwrack is a headmastership.
sent10 -> int4: if the scapegrace is geophytic then it is carunculate.; sent5 -> int5: if that the spectrophotometer is not endoscopic is not false then that that it is a kind of a Magellan and does regenerate is correct does not hold.; sent13 & sent4 -> int6: that the Malthusian is not a kind of a hypertonicity is correct.; sent12 & int6 -> int7: the fact that the highbrow is not a kind of a Tampico and it is not livable is wrong.; sent2 & int7 -> int8: the spectrophotometer is not endoscopic.; int5 & int8 -> int9: the fact that the spectrophotometer is a Magellan and regenerates does not hold.; sent1 & int9 -> int10: the spectrophotometer is not a Hathaway.; sent7 & int10 -> int11: the fact that either the salesclerk does not debut gnu or it is not ductless or both does not hold.; int11 -> int12: there exists something such that the fact that it does not debut gnu or is not ductless or both is not right.; int12 & sent8 -> int13: the scapegrace is geophytic.; int4 & int13 -> int14: the scapegrace is carunculate.; int14 -> int15: there exists something such that it is carunculate.;
$hypothesis$ = the bladderwrack is not a headmastership. ; $context$ = sent1: if that the spectrophotometer is a Magellan and regenerating is not true then it is not a kind of a Hathaway. sent2: the spectrophotometer is not endoscopic if the fact that the highbrow is not a Tampico and it is not livable is incorrect. sent3: the bladderwrack is not a reaction but it does debut bible if that it is a headmastership is not false. sent4: the Malthusian is not a hypertonicity if there exists something such that the fact that it does not debut refrain and is actuarial does not hold. sent5: if something is not endoscopic that it is a Magellan and it does regenerate is not correct. sent6: that the bladderwrack is not a reaction but it debuts bible is incorrect if there is something such that it does not furlough Limulidae. sent7: that the salesclerk does not debut gnu and/or it is not ductless is false if the spectrophotometer is not a Hathaway. sent8: if there exists something such that the fact that it does not debut gnu and/or is not ductless does not hold the scapegrace is geophytic. sent9: there exists something such that it does not furlough Limulidae. sent10: if something is geophytic then it is carunculate. sent11: if the counterglow is a plastid it does not furlough Limulidae. sent12: the fact that the highbrow is not a Tampico and it is not livable is not correct if the Malthusian is not a kind of a hypertonicity. sent13: there exists something such that that it does not debut refrain and it is actuarial is not correct. ; $proof$ = 
void -> assump1: Let's assume that the bladderwrack is a headmastership.; sent3 & assump1 -> int1: the bladderwrack is not a reaction but it does debut bible.; sent9 & sent6 -> int2: the fact that the fact that the bladderwrack is not a reaction but it debuts bible is not right is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__