the Lithane is a Blida.
sent1: if there exists something such that that it does not gravitate or is adoptable or both is wrong the relict is a Swanson. sent2: the relict is not eligible. sent3: something is a Blida that is not a kind of a Ugric if it is not a kind of a Stuttgart. sent4: there is something such that that either it gravitates or it is adoptable or both is incorrect. sent5: that the Lithane is a Stuttgart is not wrong. sent6: something does not gravitate or is adoptable or both. sent7: the relict is a Ugric if it is a Swanson. sent8: there exists something such that that it does not gravitate or it is adoptable or both does not hold. sent9: there exists something such that it is unadoptable. sent10: the relict does not pique Savannah and/or it does not err if that it is eligible is incorrect. sent11: if there exists something such that it does not pique Savannah or it does not err or both the dedifferentiation is not a kind of a Stuttgart. sent12: something does gravitate. sent13: if there is something such that it is a Ugric the Lithane is a kind of a Stuttgart and is a kind of a Blida.
sent8 & sent1 -> int1: the relict is a Swanson.; int1 & sent7 -> int2: the relict is a Ugric.; int2 -> int3: there is something such that it is a Ugric.; int3 & sent13 -> int4: the Lithane is a Stuttgart and it is a kind of a Blida.; int4 -> hypothesis;
the dedifferentiation is adoptable.
sent3 -> int5: if that the dedifferentiation is not a Stuttgart is not false then it is a Blida and it is not a kind of a Ugric.; sent10 & sent2 -> int6: the relict either does not pique Savannah or does not err or both.; int6 -> int7: something does not pique Savannah or does not err or both.; int7 & sent11 -> int8: the dedifferentiation is not a Stuttgart.; int5 & int8 -> int9: the dedifferentiation is a Blida and not a Ugric.; int9 -> int10: the dedifferentiation is not a Ugric.;
$hypothesis$ = the Lithane is a Blida. ; $context$ = sent1: if there exists something such that that it does not gravitate or is adoptable or both is wrong the relict is a Swanson. sent2: the relict is not eligible. sent3: something is a Blida that is not a kind of a Ugric if it is not a kind of a Stuttgart. sent4: there is something such that that either it gravitates or it is adoptable or both is incorrect. sent5: that the Lithane is a Stuttgart is not wrong. sent6: something does not gravitate or is adoptable or both. sent7: the relict is a Ugric if it is a Swanson. sent8: there exists something such that that it does not gravitate or it is adoptable or both does not hold. sent9: there exists something such that it is unadoptable. sent10: the relict does not pique Savannah and/or it does not err if that it is eligible is incorrect. sent11: if there exists something such that it does not pique Savannah or it does not err or both the dedifferentiation is not a kind of a Stuttgart. sent12: something does gravitate. sent13: if there is something such that it is a Ugric the Lithane is a kind of a Stuttgart and is a kind of a Blida. ; $proof$ = 
sent8 & sent1 -> int1: the relict is a Swanson.; int1 & sent7 -> int2: the relict is a Ugric.; int2 -> int3: there is something such that it is a Ugric.; int3 & sent13 -> int4: the Lithane is a Stuttgart and it is a kind of a Blida.; int4 -> hypothesis; __PROVED__