the decline does not defoliate proteome.
sent1: the canape either is a lather or does defoliate amiodarone or both if the amiodarone does not defoliate amiodarone. sent2: the fact that something is a diarchy but it does not defoliate proteome does not hold if it is not a sub-test. sent3: the canape is not attractive. sent4: the trimaran is a diarchy if that it does not complect sludge and it is ophthalmic is wrong. sent5: if that something is a kind of a diarchy that does not defoliate proteome is incorrect it does defoliate proteome. sent6: there is something such that it is not tuneless and not a sunrise. sent7: if the trimaran does not complect sludge and is ophthalmic the falchion is not a sub-test. sent8: if there exists something such that it is tuneless the trimaran is a sunrise. sent9: that the proteome does defoliate proteome hold. sent10: if the amiodarone does not defoliate amiodarone then either the canape is not a lather or it does defoliate amiodarone or both. sent11: the decline does not defoliate amiodarone and is not a sunrise if the trimaran is not a lather. sent12: the fact that the proteome is not tuneless and not a sunrise does not hold. sent13: there exists something such that that it is ophthalmic and it does not defoliate amiodarone does not hold. sent14: the trimaran does not complect sludge. sent15: if the canape does not lather or it does defoliate amiodarone or both then the decline does not defoliate proteome. sent16: that the canape is not a lather but it is a sunrise is not right. sent17: the falchion is a kind of a sub-test. sent18: the fact that the sludge is not a kind of a diarchy is right. sent19: the amiodarone does not glom obiism if the canape is not attractive and it is not a packaging. sent20: the trimaran is a sunrise if there exists something such that the fact that it is not tuneless and it is not a kind of a sunrise is incorrect. sent21: if the trimaran complects sludge and it is ophthalmic the fact that the falchion is not a sub-test is not incorrect. sent22: the decline either does defoliate amiodarone or defoliates proteome or both. sent23: if the fact that the falchion complects decline and it is tuneless does not hold the trimaran is not a lather. sent24: if something does not defoliate amiodarone and it is not a sunrise then it is not a kind of a sub-test.
void -> assump1: Let's assume that the trimaran does not complect sludge and is ophthalmic.; sent7 & assump1 -> int1: the falchion is not a kind of a sub-test.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trimaran does not complect sludge and is ophthalmic is not correct.; int3 & sent4 -> int4: the trimaran is a diarchy.; sent12 -> int5: there is something such that that it is not tuneless and is not a kind of a sunrise is not correct.; int5 & sent20 -> int6: the trimaran is a sunrise.; int4 & int6 -> int7: the trimaran is a kind of a sunrise and is a diarchy.; int7 -> int8: there exists something such that it is a sunrise and a diarchy.;
the decline defoliates proteome.
sent5 -> int9: if the fact that the decline is a diarchy but it does not defoliate proteome is false then it defoliate proteome.; sent2 -> int10: if that the decline is not a sub-test is correct then that it is a diarchy and does not defoliate proteome is false.; sent24 -> int11: if the decline does not defoliate amiodarone and is not a sunrise it is not a sub-test.;
$hypothesis$ = the decline does not defoliate proteome. ; $context$ = sent1: the canape either is a lather or does defoliate amiodarone or both if the amiodarone does not defoliate amiodarone. sent2: the fact that something is a diarchy but it does not defoliate proteome does not hold if it is not a sub-test. sent3: the canape is not attractive. sent4: the trimaran is a diarchy if that it does not complect sludge and it is ophthalmic is wrong. sent5: if that something is a kind of a diarchy that does not defoliate proteome is incorrect it does defoliate proteome. sent6: there is something such that it is not tuneless and not a sunrise. sent7: if the trimaran does not complect sludge and is ophthalmic the falchion is not a sub-test. sent8: if there exists something such that it is tuneless the trimaran is a sunrise. sent9: that the proteome does defoliate proteome hold. sent10: if the amiodarone does not defoliate amiodarone then either the canape is not a lather or it does defoliate amiodarone or both. sent11: the decline does not defoliate amiodarone and is not a sunrise if the trimaran is not a lather. sent12: the fact that the proteome is not tuneless and not a sunrise does not hold. sent13: there exists something such that that it is ophthalmic and it does not defoliate amiodarone does not hold. sent14: the trimaran does not complect sludge. sent15: if the canape does not lather or it does defoliate amiodarone or both then the decline does not defoliate proteome. sent16: that the canape is not a lather but it is a sunrise is not right. sent17: the falchion is a kind of a sub-test. sent18: the fact that the sludge is not a kind of a diarchy is right. sent19: the amiodarone does not glom obiism if the canape is not attractive and it is not a packaging. sent20: the trimaran is a sunrise if there exists something such that the fact that it is not tuneless and it is not a kind of a sunrise is incorrect. sent21: if the trimaran complects sludge and it is ophthalmic the fact that the falchion is not a sub-test is not incorrect. sent22: the decline either does defoliate amiodarone or defoliates proteome or both. sent23: if the fact that the falchion complects decline and it is tuneless does not hold the trimaran is not a lather. sent24: if something does not defoliate amiodarone and it is not a sunrise then it is not a kind of a sub-test. ; $proof$ = 
void -> assump1: Let's assume that the trimaran does not complect sludge and is ophthalmic.; sent7 & assump1 -> int1: the falchion is not a kind of a sub-test.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trimaran does not complect sludge and is ophthalmic is not correct.; int3 & sent4 -> int4: the trimaran is a diarchy.; sent12 -> int5: there is something such that that it is not tuneless and is not a kind of a sunrise is not correct.; int5 & sent20 -> int6: the trimaran is a sunrise.; int4 & int6 -> int7: the trimaran is a kind of a sunrise and is a diarchy.; int7 -> int8: there exists something such that it is a sunrise and a diarchy.; __UNKNOWN__