the bryanthus is not a representative.
sent1: that the tentmaker is not a kind of a Raphicerus and it is not inconvertible is false. sent2: the bryanthus is not a representative if a non-hooflike thing is not a pyromaniac. sent3: the tyrosine is not imperishable. sent4: the sou'wester is not inconvertible if the tetrahydrocannabinol does emend Eigen and is extinguishable. sent5: there is something such that it is not hooflike. sent6: if the bryanthus is not a kind of a representative then the tetrahydrocannabinol is not extinguishable and it is not a representative. sent7: if the sou'wester is not inconvertible but it is a Raphicerus the tetrahydrocannabinol is inconvertible. sent8: that the tentmaker is not a Raphicerus but it is inconvertible is false. sent9: the tentmaker is a kind of a scent if that the tyrosine is a kind of a scent hold. sent10: something is a kind of a representative if the fact that it is not a kind of a representative and it is not a Raphicerus is false. sent11: something is not a kind of a pyromaniac but it is hooflike if it does not tire tentmaker. sent12: there exists something such that it is hooflike thing that is not a pyromaniac. sent13: if that the tetrahydrocannabinol does emend Eigen and is not extinguishable is not correct the tyrosine is not a kind of a pyromaniac. sent14: if the sou'wester is not inconvertible then the tentmaker is not inconvertible. sent15: the tyrosine is a kind of a scent and it is a decaf if it is not imperishable. sent16: the fact that the tetrahydrocannabinol does emend Eigen and is extinguishable is false. sent17: the tyrosine is not inconvertible if the tetrahydrocannabinol is inconvertible. sent18: if the tyrosine is not a kind of a pyromaniac then that the arthroscope is not a pyromaniac is not false. sent19: if something that is not a kind of a pyromaniac is hooflike the tetrahydrocannabinol is inconvertible. sent20: the tyrosine is not a kind of a pyromaniac if the tetrahydrocannabinol is extinguishable. sent21: the tentmaker is both not a Raphicerus and not inconvertible if the sou'wester is not inconvertible. sent22: if something that emends tyrant is a kind of a scent the sou'wester does not tire tentmaker. sent23: something emends tyrant and it does urticate sou'wester if the fact that it does not jar overburden hold. sent24: if the tetrahydrocannabinol does emend Eigen and is not extinguishable then the sou'wester is not inconvertible. sent25: the tentmaker does not jar overburden and it does not jar bolide. sent26: if the tyrosine is not a pyromaniac the arthroscope is not hooflike and it is not a kind of a pyromaniac.
void -> assump1: Let's assume that the tetrahydrocannabinol does emend Eigen and is not extinguishable.; sent24 & assump1 -> int1: the sou'wester is not inconvertible.; int1 & sent21 -> int2: the tentmaker is both not a Raphicerus and not inconvertible.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the tetrahydrocannabinol does emend Eigen but it is inextinguishable does not hold.; int4 & sent13 -> int5: that the tyrosine is not a pyromaniac is right.; int5 & sent26 -> int6: the arthroscope is not hooflike and not a pyromaniac.; int6 -> int7: something is non-hooflike thing that is not a pyromaniac.; int7 & sent2 -> hypothesis;
the bryanthus is representative.
sent10 -> int8: the bryanthus is a representative if that the fact that it is not a representative and is not a Raphicerus is not incorrect is incorrect.; sent11 -> int9: the sou'wester is both not a pyromaniac and not non-hooflike if the fact that it does not tire tentmaker is right.; sent23 -> int10: that the tentmaker does emend tyrant and it does urticate sou'wester is not incorrect if that it does not jar overburden is not false.; sent25 -> int11: that the tentmaker does not jar overburden is not wrong.; int10 & int11 -> int12: the tentmaker emends tyrant and does urticate sou'wester.; int12 -> int13: the tentmaker does emend tyrant.; sent15 & sent3 -> int14: the tyrosine is a scent and a decaf.; int14 -> int15: the tyrosine is a scent.; sent9 & int15 -> int16: the tentmaker is a scent.; int13 & int16 -> int17: the tentmaker emends tyrant and it scents.; int17 -> int18: something does emend tyrant and it is a scent.; int18 & sent22 -> int19: the sou'wester does not tire tentmaker.; int9 & int19 -> int20: the sou'wester is not a pyromaniac and is hooflike.; int20 -> int21: something is both not a pyromaniac and not non-hooflike.; int21 & sent19 -> int22: the tetrahydrocannabinol is inconvertible.; int22 -> int23: there exists something such that it is inconvertible.;
$hypothesis$ = the bryanthus is not a representative. ; $context$ = sent1: that the tentmaker is not a kind of a Raphicerus and it is not inconvertible is false. sent2: the bryanthus is not a representative if a non-hooflike thing is not a pyromaniac. sent3: the tyrosine is not imperishable. sent4: the sou'wester is not inconvertible if the tetrahydrocannabinol does emend Eigen and is extinguishable. sent5: there is something such that it is not hooflike. sent6: if the bryanthus is not a kind of a representative then the tetrahydrocannabinol is not extinguishable and it is not a representative. sent7: if the sou'wester is not inconvertible but it is a Raphicerus the tetrahydrocannabinol is inconvertible. sent8: that the tentmaker is not a Raphicerus but it is inconvertible is false. sent9: the tentmaker is a kind of a scent if that the tyrosine is a kind of a scent hold. sent10: something is a kind of a representative if the fact that it is not a kind of a representative and it is not a Raphicerus is false. sent11: something is not a kind of a pyromaniac but it is hooflike if it does not tire tentmaker. sent12: there exists something such that it is hooflike thing that is not a pyromaniac. sent13: if that the tetrahydrocannabinol does emend Eigen and is not extinguishable is not correct the tyrosine is not a kind of a pyromaniac. sent14: if the sou'wester is not inconvertible then the tentmaker is not inconvertible. sent15: the tyrosine is a kind of a scent and it is a decaf if it is not imperishable. sent16: the fact that the tetrahydrocannabinol does emend Eigen and is extinguishable is false. sent17: the tyrosine is not inconvertible if the tetrahydrocannabinol is inconvertible. sent18: if the tyrosine is not a kind of a pyromaniac then that the arthroscope is not a pyromaniac is not false. sent19: if something that is not a kind of a pyromaniac is hooflike the tetrahydrocannabinol is inconvertible. sent20: the tyrosine is not a kind of a pyromaniac if the tetrahydrocannabinol is extinguishable. sent21: the tentmaker is both not a Raphicerus and not inconvertible if the sou'wester is not inconvertible. sent22: if something that emends tyrant is a kind of a scent the sou'wester does not tire tentmaker. sent23: something emends tyrant and it does urticate sou'wester if the fact that it does not jar overburden hold. sent24: if the tetrahydrocannabinol does emend Eigen and is not extinguishable then the sou'wester is not inconvertible. sent25: the tentmaker does not jar overburden and it does not jar bolide. sent26: if the tyrosine is not a pyromaniac the arthroscope is not hooflike and it is not a kind of a pyromaniac. ; $proof$ = 
void -> assump1: Let's assume that the tetrahydrocannabinol does emend Eigen and is not extinguishable.; sent24 & assump1 -> int1: the sou'wester is not inconvertible.; int1 & sent21 -> int2: the tentmaker is both not a Raphicerus and not inconvertible.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the tetrahydrocannabinol does emend Eigen but it is inextinguishable does not hold.; int4 & sent13 -> int5: that the tyrosine is not a pyromaniac is right.; int5 & sent26 -> int6: the arthroscope is not hooflike and not a pyromaniac.; int6 -> int7: something is non-hooflike thing that is not a pyromaniac.; int7 & sent2 -> hypothesis; __PROVED__