the solvent is not a kind of a Paraguayan.
sent1: the bolide is not basidiomycetous if the carminative is not non-Shuha and it is neuroanatomic. sent2: something does not maintain downpour if the fact that it does maintain downpour and is not basidiomycetous is false. sent3: the trestlework does demagnetize scauper. sent4: if the polack is neuroanatomic the trestlework is a kind of a sickbay. sent5: the bolide is a kind of Paraguayan a citrange. sent6: the carminative is basidiomycetous if the fact that the quiff does maintain downpour is not wrong. sent7: the fact that the bolide is inheritable hold if the trestlework is a kind of a sickbay. sent8: the porbeagle is both Shuha and critical. sent9: the bolide demagnetizes scauper and it is neuroanatomic if there exists something such that it is not inheritable. sent10: the quiff is inheritable and it is Paraguayan if there is something such that it does not displease. sent11: if the fact that the carminative is basidiomycetous is not incorrect the fact that the polack is neuroanatomic is correct. sent12: the quiff does displease. sent13: there is something such that it is not Shuha. sent14: if the bolide is Shuha and it is inheritable then the solvent is not a Paraguayan. sent15: the bolide demagnetizes scauper if there is something such that it does not maintain omeprazole. sent16: the bolide does demagnetize scauper and it is Shuha if something does not maintain omeprazole. sent17: the quiff does displease and does maintain downpour. sent18: there exists something such that it does not maintain omeprazole. sent19: something maintains omeprazole. sent20: the bolide demagnetizes scauper.
sent17 -> int1: the quiff maintains downpour.; int1 & sent6 -> int2: the carminative is basidiomycetous.; int2 & sent11 -> int3: the polack is neuroanatomic.; int3 & sent4 -> int4: the trestlework is a kind of a sickbay.; int4 & sent7 -> int5: the bolide is inheritable.; sent18 & sent16 -> int6: the bolide does demagnetize scauper and it is Shuha.; int6 -> int7: the bolide is Shuha.; int5 & int7 -> int8: the bolide is Shuha and it is inheritable.; int8 & sent14 -> hypothesis;
the solvent is Paraguayan.
sent2 -> int9: that that the carminative does not maintain downpour hold if the fact that the carminative maintain downpour but it is not basidiomycetous does not hold hold.;
$hypothesis$ = the solvent is not a kind of a Paraguayan. ; $context$ = sent1: the bolide is not basidiomycetous if the carminative is not non-Shuha and it is neuroanatomic. sent2: something does not maintain downpour if the fact that it does maintain downpour and is not basidiomycetous is false. sent3: the trestlework does demagnetize scauper. sent4: if the polack is neuroanatomic the trestlework is a kind of a sickbay. sent5: the bolide is a kind of Paraguayan a citrange. sent6: the carminative is basidiomycetous if the fact that the quiff does maintain downpour is not wrong. sent7: the fact that the bolide is inheritable hold if the trestlework is a kind of a sickbay. sent8: the porbeagle is both Shuha and critical. sent9: the bolide demagnetizes scauper and it is neuroanatomic if there exists something such that it is not inheritable. sent10: the quiff is inheritable and it is Paraguayan if there is something such that it does not displease. sent11: if the fact that the carminative is basidiomycetous is not incorrect the fact that the polack is neuroanatomic is correct. sent12: the quiff does displease. sent13: there is something such that it is not Shuha. sent14: if the bolide is Shuha and it is inheritable then the solvent is not a Paraguayan. sent15: the bolide demagnetizes scauper if there is something such that it does not maintain omeprazole. sent16: the bolide does demagnetize scauper and it is Shuha if something does not maintain omeprazole. sent17: the quiff does displease and does maintain downpour. sent18: there exists something such that it does not maintain omeprazole. sent19: something maintains omeprazole. sent20: the bolide demagnetizes scauper. ; $proof$ = 
sent17 -> int1: the quiff maintains downpour.; int1 & sent6 -> int2: the carminative is basidiomycetous.; int2 & sent11 -> int3: the polack is neuroanatomic.; int3 & sent4 -> int4: the trestlework is a kind of a sickbay.; int4 & sent7 -> int5: the bolide is inheritable.; sent18 & sent16 -> int6: the bolide does demagnetize scauper and it is Shuha.; int6 -> int7: the bolide is Shuha.; int5 & int7 -> int8: the bolide is Shuha and it is inheritable.; int8 & sent14 -> hypothesis; __PROVED__