the lecturer does not mean Mutinus and does not pole alumroot.
sent1: if the ichor does not pay then that it does not mean neoromanticism and it is not unadoptable is incorrect. sent2: the ichor does not pay. sent3: the fact that the lecturer does pole alumroot is false if there is something such that that it does not mean candlepin hold. sent4: the fact that the ichor does not mean neoromanticism but it is not adoptable is wrong. sent5: if the ichor does not pole alumroot the fact that it is not unadoptable and it does not pay is not true. sent6: the lecturer does not pole alumroot. sent7: the ichor does not mean Mutinus and it is not unadoptable. sent8: the ichor does not mean neoromanticism and is not unadoptable if something means candlepin. sent9: the lecturer does not mean Mutinus and does not pole alumroot if something does not mean candlepin. sent10: the ichor does not pole anticlimax and is not unadoptable.
void -> assump1: Let's assume that that the credenza means candlepin is correct.; assump1 -> int1: there is something such that it does mean candlepin.; int1 & sent8 -> int2: the ichor does not mean neoromanticism and it is not unadoptable.; sent1 & sent2 -> int3: the fact that the ichor does not mean neoromanticism and is not unadoptable is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the credenza does not mean candlepin.; int5 -> int6: there exists something such that that it does not mean candlepin is right.; int6 & sent9 -> hypothesis;
$hypothesis$ = the lecturer does not mean Mutinus and does not pole alumroot. ; $context$ = sent1: if the ichor does not pay then that it does not mean neoromanticism and it is not unadoptable is incorrect. sent2: the ichor does not pay. sent3: the fact that the lecturer does pole alumroot is false if there is something such that that it does not mean candlepin hold. sent4: the fact that the ichor does not mean neoromanticism but it is not adoptable is wrong. sent5: if the ichor does not pole alumroot the fact that it is not unadoptable and it does not pay is not true. sent6: the lecturer does not pole alumroot. sent7: the ichor does not mean Mutinus and it is not unadoptable. sent8: the ichor does not mean neoromanticism and is not unadoptable if something means candlepin. sent9: the lecturer does not mean Mutinus and does not pole alumroot if something does not mean candlepin. sent10: the ichor does not pole anticlimax and is not unadoptable. ; $proof$ = 
void -> assump1: Let's assume that that the credenza means candlepin is correct.; assump1 -> int1: there is something such that it does mean candlepin.; int1 & sent8 -> int2: the ichor does not mean neoromanticism and it is not unadoptable.; sent1 & sent2 -> int3: the fact that the ichor does not mean neoromanticism and is not unadoptable is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the credenza does not mean candlepin.; int5 -> int6: there exists something such that that it does not mean candlepin is right.; int6 & sent9 -> hypothesis; __PROVED__