the concentrate does bear.
sent1: if the lunette is a kind of a bear that is a decency then that the concentrate is not a bear is correct. sent2: the legging is a Chenopodium. sent3: the fact that the legging is a decency hold if the tetryl does not mint part and is not a kind of a asterion. sent4: the tetryl does not mint part. sent5: if the lunette is not a kind of a Chenopodium then it is a decency and disciplinary. sent6: the legging is not robotic. sent7: if the concentrate is a kind of a Chenopodium then it does bear. sent8: if the tetryl is a bear the lunette does bear. sent9: the tetryl does not mint part and is not a asterion if the lunette is disciplinary. sent10: the concentrate is a Chenopodium if the lunette is not disciplinary. sent11: the tetryl bears or it is a Chenopodium or both if there exists something such that it is a Chenopodium. sent12: the legging is not plantal. sent13: the legging is a prostate if it is a kind of a decency. sent14: the lunette is a Chenopodium. sent15: there is something such that that it is a Chenopodium and it does not enhance is not true. sent16: the concentrate does enhance and is robotic. sent17: if the legging is a prostate it is plantal. sent18: that the legging is a Chenopodium is not wrong if the concentrate enhances. sent19: the lunette is a prostate if the fact that the tetryl is a kind of a bear hold. sent20: if the tetryl is a bear then the concentrate does not mint part. sent21: if the fact that the legging is plantal and mints nephrectomy is not correct then the tetryl is not plantal. sent22: if something is not robotic the fact that it is a kind of plantal thing that mints nephrectomy does not hold.
void -> assump1: Let's assume that the lunette is disciplinary.; sent9 & assump1 -> int1: the tetryl does not mint part and it is not a asterion.; int1 & sent3 -> int2: the legging is a kind of a decency.; int2 & sent13 -> int3: the legging is a prostate.; int3 & sent17 -> int4: the fact that the legging is plantal is correct.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lunette is not disciplinary.; int6 & sent10 -> int7: the concentrate is a Chenopodium.; int7 & sent7 -> hypothesis;
the concentrate is not a kind of a bear.
sent22 -> int8: if the legging is not robotic the fact that it is plantal and does mint nephrectomy does not hold.; int8 & sent6 -> int9: that the legging is plantal and it mints nephrectomy is wrong.; sent21 & int9 -> int10: the tetryl is not plantal.;
$hypothesis$ = the concentrate does bear. ; $context$ = sent1: if the lunette is a kind of a bear that is a decency then that the concentrate is not a bear is correct. sent2: the legging is a Chenopodium. sent3: the fact that the legging is a decency hold if the tetryl does not mint part and is not a kind of a asterion. sent4: the tetryl does not mint part. sent5: if the lunette is not a kind of a Chenopodium then it is a decency and disciplinary. sent6: the legging is not robotic. sent7: if the concentrate is a kind of a Chenopodium then it does bear. sent8: if the tetryl is a bear the lunette does bear. sent9: the tetryl does not mint part and is not a asterion if the lunette is disciplinary. sent10: the concentrate is a Chenopodium if the lunette is not disciplinary. sent11: the tetryl bears or it is a Chenopodium or both if there exists something such that it is a Chenopodium. sent12: the legging is not plantal. sent13: the legging is a prostate if it is a kind of a decency. sent14: the lunette is a Chenopodium. sent15: there is something such that that it is a Chenopodium and it does not enhance is not true. sent16: the concentrate does enhance and is robotic. sent17: if the legging is a prostate it is plantal. sent18: that the legging is a Chenopodium is not wrong if the concentrate enhances. sent19: the lunette is a prostate if the fact that the tetryl is a kind of a bear hold. sent20: if the tetryl is a bear then the concentrate does not mint part. sent21: if the fact that the legging is plantal and mints nephrectomy is not correct then the tetryl is not plantal. sent22: if something is not robotic the fact that it is a kind of plantal thing that mints nephrectomy does not hold. ; $proof$ = 
void -> assump1: Let's assume that the lunette is disciplinary.; sent9 & assump1 -> int1: the tetryl does not mint part and it is not a asterion.; int1 & sent3 -> int2: the legging is a kind of a decency.; int2 & sent13 -> int3: the legging is a prostate.; int3 & sent17 -> int4: the fact that the legging is plantal is correct.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lunette is not disciplinary.; int6 & sent10 -> int7: the concentrate is a Chenopodium.; int7 & sent7 -> hypothesis; __PROVED__