there are lossless things.
sent1: the proboscidean bears stateroom and/or is not a innateness. sent2: the fact that there exists something such that it either does not even receiver or does not cap or both is correct. sent3: something either is birefringent or is not progestational or both if it bears stateroom. sent4: if the yarder is not a antihero and/or it is progestational the proboscidean is birefringent. sent5: a best does bear stateroom and/or is not lossless. sent6: the alkaloid is lossless if there is something such that the fact that either it does not bear stateroom or it is not a innateness or both is correct. sent7: the dehiscence is a best if the fact that the yarder is best but it is not birefringent is not right. sent8: that something is best but it is not birefringent does not hold if it does not bear stateroom. sent9: the fact that something that is birefringent does not bear stateroom and/or is not a innateness is not wrong. sent10: if the fact that the yarder is not a antihero and/or it is progestational does not hold then the gantry is not a kind of a best. sent11: the gantry is a best. sent12: something does not bear stateroom and/or is a innateness. sent13: the proboscidean is a innateness and/or it is not progestational. sent14: the gantry is not progestational if that either the proboscidean is birefringent or it is best or both is not correct.
void -> assump1: Let's assume that that the yarder is not a antihero and/or it is progestational is wrong.; sent10 & assump1 -> int1: the fact that the gantry is not best is not incorrect.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the yarder is not a kind of a antihero or is progestational or both.; int3 & sent4 -> int4: the proboscidean is birefringent.; sent9 -> int5: either the proboscidean does not bear stateroom or it is not a innateness or both if it is birefringent.; int4 & int5 -> int6: the proboscidean does not bear stateroom and/or it is not a innateness.; int6 -> int7: something does not bear stateroom and/or it is not a innateness.; int7 & sent6 -> int8: the alkaloid is lossless.; int8 -> hypothesis;
the dehiscence is a best.
sent8 -> int9: that the yarder is a best but it is not birefringent does not hold if it does not bear stateroom.;
$hypothesis$ = there are lossless things. ; $context$ = sent1: the proboscidean bears stateroom and/or is not a innateness. sent2: the fact that there exists something such that it either does not even receiver or does not cap or both is correct. sent3: something either is birefringent or is not progestational or both if it bears stateroom. sent4: if the yarder is not a antihero and/or it is progestational the proboscidean is birefringent. sent5: a best does bear stateroom and/or is not lossless. sent6: the alkaloid is lossless if there is something such that the fact that either it does not bear stateroom or it is not a innateness or both is correct. sent7: the dehiscence is a best if the fact that the yarder is best but it is not birefringent is not right. sent8: that something is best but it is not birefringent does not hold if it does not bear stateroom. sent9: the fact that something that is birefringent does not bear stateroom and/or is not a innateness is not wrong. sent10: if the fact that the yarder is not a antihero and/or it is progestational does not hold then the gantry is not a kind of a best. sent11: the gantry is a best. sent12: something does not bear stateroom and/or is a innateness. sent13: the proboscidean is a innateness and/or it is not progestational. sent14: the gantry is not progestational if that either the proboscidean is birefringent or it is best or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the yarder is not a antihero and/or it is progestational is wrong.; sent10 & assump1 -> int1: the fact that the gantry is not best is not incorrect.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the yarder is not a kind of a antihero or is progestational or both.; int3 & sent4 -> int4: the proboscidean is birefringent.; sent9 -> int5: either the proboscidean does not bear stateroom or it is not a innateness or both if it is birefringent.; int4 & int5 -> int6: the proboscidean does not bear stateroom and/or it is not a innateness.; int6 -> int7: something does not bear stateroom and/or it is not a innateness.; int7 & sent6 -> int8: the alkaloid is lossless.; int8 -> hypothesis; __PROVED__