the verso does identify basin.
sent1: if the carnelian is not caryophyllaceous the imitation does not astringe Robert. sent2: if the goldstone is a Tofieldia then the verso does not rabbet parthenocarpy and is not a kind of a Tofieldia. sent3: something does not identify basin if the fact that it does rabbet Homogyne is correct. sent4: if the carnelian is a myelinization it does rabbet parthenocarpy. sent5: if the cavity is not a Fresnel and is a mastic then the verso is not a kind of a myelinization. sent6: something is caryophyllaceous if that it does not astringe Robert and is not a kind of a Tofieldia is wrong. sent7: the verso is a Tofieldia if the goldstone does rabbet parthenocarpy. sent8: the tester is not caryophyllaceous and it does not rabbet melancholy. sent9: the imitation is non-palpebrate and does not rabbet parthenocarpy. sent10: if something astringes Robert then it is caryophyllaceous. sent11: the fact that the fact that the carnelian is a Tofieldia and astringes Robert is not wrong if the goldstone does not rabbet parthenocarpy hold. sent12: the imitation astringes Robert and it astringes agnathan. sent13: the verso does identify basin if it is not a Tofieldia and is not a kind of a myelinization. sent14: the imitation does not astringe Robert if the carnelian does rabbet Homogyne. sent15: the carnelian does not identify basin. sent16: the cavity does not identify basin and it is not a mastic if the verso is a mastic. sent17: the fact that the goldstone rabbets Homogyne hold if that either the carnelian is a Tofieldia or it is not caryophyllaceous or both is not correct. sent18: if something does rabbet parthenocarpy that it does not astringe Robert and it is not a kind of a Tofieldia is not right. sent19: the imitation is not a ambiversion but it is a Tofieldia. sent20: the cavity is not a Fresnel but it is a kind of a mastic. sent21: that the imitation does astringe Robert is correct if the carnelian rabbets Homogyne. sent22: that the goldstone is a Tofieldia is not incorrect if that the carnelian rabbets Homogyne and/or it is not caryophyllaceous is not correct.
void -> assump1: Let's assume that the carnelian rabbets Homogyne and/or it is not caryophyllaceous.; assump1 & sent14 & sent1 -> int1: the imitation does not astringe Robert.; sent12 -> int2: the imitation does astringe Robert.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the carnelian does rabbet Homogyne and/or it is not caryophyllaceous is not correct.; int4 & sent22 -> int5: the goldstone is a kind of a Tofieldia.; int5 & sent2 -> int6: the verso does not rabbet parthenocarpy and it is not a kind of a Tofieldia.; int6 -> int7: the verso is not a kind of a Tofieldia.; sent5 & sent20 -> int8: the verso is not a kind of a myelinization.; int7 & int8 -> int9: the fact that the verso is both not a Tofieldia and not a myelinization is not false.; int9 & sent13 -> hypothesis;
the verso does not identify basin.
sent3 -> int10: if the fact that the verso does rabbet Homogyne is not incorrect it does not identify basin.; sent6 -> int11: if the fact that the carnelian does not astringe Robert and is not a Tofieldia does not hold it is caryophyllaceous.; sent18 -> int12: if the carnelian rabbets parthenocarpy then the fact that it does not astringe Robert and is not a Tofieldia is not true.;
$hypothesis$ = the verso does identify basin. ; $context$ = sent1: if the carnelian is not caryophyllaceous the imitation does not astringe Robert. sent2: if the goldstone is a Tofieldia then the verso does not rabbet parthenocarpy and is not a kind of a Tofieldia. sent3: something does not identify basin if the fact that it does rabbet Homogyne is correct. sent4: if the carnelian is a myelinization it does rabbet parthenocarpy. sent5: if the cavity is not a Fresnel and is a mastic then the verso is not a kind of a myelinization. sent6: something is caryophyllaceous if that it does not astringe Robert and is not a kind of a Tofieldia is wrong. sent7: the verso is a Tofieldia if the goldstone does rabbet parthenocarpy. sent8: the tester is not caryophyllaceous and it does not rabbet melancholy. sent9: the imitation is non-palpebrate and does not rabbet parthenocarpy. sent10: if something astringes Robert then it is caryophyllaceous. sent11: the fact that the fact that the carnelian is a Tofieldia and astringes Robert is not wrong if the goldstone does not rabbet parthenocarpy hold. sent12: the imitation astringes Robert and it astringes agnathan. sent13: the verso does identify basin if it is not a Tofieldia and is not a kind of a myelinization. sent14: the imitation does not astringe Robert if the carnelian does rabbet Homogyne. sent15: the carnelian does not identify basin. sent16: the cavity does not identify basin and it is not a mastic if the verso is a mastic. sent17: the fact that the goldstone rabbets Homogyne hold if that either the carnelian is a Tofieldia or it is not caryophyllaceous or both is not correct. sent18: if something does rabbet parthenocarpy that it does not astringe Robert and it is not a kind of a Tofieldia is not right. sent19: the imitation is not a ambiversion but it is a Tofieldia. sent20: the cavity is not a Fresnel but it is a kind of a mastic. sent21: that the imitation does astringe Robert is correct if the carnelian rabbets Homogyne. sent22: that the goldstone is a Tofieldia is not incorrect if that the carnelian rabbets Homogyne and/or it is not caryophyllaceous is not correct. ; $proof$ = 
void -> assump1: Let's assume that the carnelian rabbets Homogyne and/or it is not caryophyllaceous.; assump1 & sent14 & sent1 -> int1: the imitation does not astringe Robert.; sent12 -> int2: the imitation does astringe Robert.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the carnelian does rabbet Homogyne and/or it is not caryophyllaceous is not correct.; int4 & sent22 -> int5: the goldstone is a kind of a Tofieldia.; int5 & sent2 -> int6: the verso does not rabbet parthenocarpy and it is not a kind of a Tofieldia.; int6 -> int7: the verso is not a kind of a Tofieldia.; sent5 & sent20 -> int8: the verso is not a kind of a myelinization.; int7 & int8 -> int9: the fact that the verso is both not a Tofieldia and not a myelinization is not false.; int9 & sent13 -> hypothesis; __PROVED__