the lighter is not biotypic but it is textile.
sent1: if the ciderpress does not sprout the at is a recessive but it does not sprout. sent2: the tenorist is a sprout and/or it is not adenocarcinomatous if there are biotypic things. sent3: the baboon is not a hotdog if the tenorist does not service hypochondrium and/or is not adenocarcinomatous. sent4: there exists something such that the fact that it is beneficent thing that is not a kind of a myelencephalon is incorrect. sent5: the fact that something is not biotypic and is not non-textile is not correct if it is not a sprout. sent6: there is something such that that it is adenocarcinomatous thing that does sprout is wrong. sent7: that the ciderpress is not a sprout hold if there exists something such that the fact that it is both beneficent and not a myelencephalon is incorrect. sent8: if the at is recessive the carbohydrate is intemperate. sent9: if that something is a sprout that is not intemperate is not correct then it is not a kind of a sprout. sent10: the lighter is not biotypic and is textile if that the baboon is not a hotdog is not incorrect. sent11: the ciderpress is recessive if the at is adenocarcinomatous. sent12: if there is something such that it is intemperate the tenorist does not service hypochondrium or it is not adenocarcinomatous or both. sent13: if the at services hypochondrium the fact that it is adenocarcinomatous is right.
sent4 & sent7 -> int1: the ciderpress is not a sprout.; sent1 & int1 -> int2: the at is recessive but it is not a kind of a sprout.; int2 -> int3: the at is recessive.; sent8 & int3 -> int4: that the carbohydrate is intemperate is correct.; int4 -> int5: there is something such that it is intemperate.; int5 & sent12 -> int6: the tenorist either does not service hypochondrium or is not adenocarcinomatous or both.; sent3 & int6 -> int7: the baboon is not a kind of a hotdog.; sent10 & int7 -> hypothesis;
the fact that the lighter is both not biotypic and textile is false.
sent5 -> int8: that the fact that the fact that the lighter is both not biotypic and textile is not false is incorrect is not false if it is not a sprout.; sent9 -> int9: the lighter is not a kind of a sprout if the fact that it sprout and it is not intemperate does not hold.;
$hypothesis$ = the lighter is not biotypic but it is textile. ; $context$ = sent1: if the ciderpress does not sprout the at is a recessive but it does not sprout. sent2: the tenorist is a sprout and/or it is not adenocarcinomatous if there are biotypic things. sent3: the baboon is not a hotdog if the tenorist does not service hypochondrium and/or is not adenocarcinomatous. sent4: there exists something such that the fact that it is beneficent thing that is not a kind of a myelencephalon is incorrect. sent5: the fact that something is not biotypic and is not non-textile is not correct if it is not a sprout. sent6: there is something such that that it is adenocarcinomatous thing that does sprout is wrong. sent7: that the ciderpress is not a sprout hold if there exists something such that the fact that it is both beneficent and not a myelencephalon is incorrect. sent8: if the at is recessive the carbohydrate is intemperate. sent9: if that something is a sprout that is not intemperate is not correct then it is not a kind of a sprout. sent10: the lighter is not biotypic and is textile if that the baboon is not a hotdog is not incorrect. sent11: the ciderpress is recessive if the at is adenocarcinomatous. sent12: if there is something such that it is intemperate the tenorist does not service hypochondrium or it is not adenocarcinomatous or both. sent13: if the at services hypochondrium the fact that it is adenocarcinomatous is right. ; $proof$ = 
sent4 & sent7 -> int1: the ciderpress is not a sprout.; sent1 & int1 -> int2: the at is recessive but it is not a kind of a sprout.; int2 -> int3: the at is recessive.; sent8 & int3 -> int4: that the carbohydrate is intemperate is correct.; int4 -> int5: there is something such that it is intemperate.; int5 & sent12 -> int6: the tenorist either does not service hypochondrium or is not adenocarcinomatous or both.; sent3 & int6 -> int7: the baboon is not a kind of a hotdog.; sent10 & int7 -> hypothesis; __PROVED__