the mat is not a germander.
sent1: if something does not roughen stinger then the fact that it is not painless is not wrong. sent2: the mat is a germander if the wassail is a germander. sent3: there exists something such that that it does roughen saponin and is allantoic does not hold. sent4: if the wassail does not roughen stinger that it is painless is false. sent5: there is something such that the fact that it is not non-hemolytic and it is not a stitcher is not right. sent6: there exists something such that the fact that it roughens saponin and it is not allantoic does not hold. sent7: something is not painless. sent8: the wassail does not roughen stinger if there is something such that it does not roughen saponin. sent9: something is a Ecuadorian but it is not painless if it does not roughen stinger. sent10: if there is something such that that it roughens saponin and is not allantoic is not true the wassail does not roughen stinger. sent11: the mat is not a germander if there is something such that it is a Ecuadorian and it is painless. sent12: something that does roughen stinger is a kind of a germander. sent13: there exists something such that it does roughen saponin and is not allantoic. sent14: if there exists something such that the fact that it is a salubrity and it is not sorrowful is not correct the muser is not painless. sent15: something that is not a germander is a Ecuadorian that is not painless. sent16: if something that is a kind of a Ecuadorian is not a germander then that the wassail does not roughen stinger is right. sent17: the mat is not a kind of a germander if there are Ecuadorian and painful things. sent18: the wassail is not painless.
sent6 & sent10 -> int1: the wassail does not roughen stinger.; sent9 -> int2: the wassail is a Ecuadorian and is not painless if it does not roughen stinger.; int1 & int2 -> int3: the wassail is a kind of a Ecuadorian but it is not painless.; int3 -> int4: there is something such that it is a kind of Ecuadorian thing that is not painless.; int4 & sent17 -> hypothesis;
the mat is a germander.
sent12 -> int5: if the wassail roughens stinger then it is a germander.;
$hypothesis$ = the mat is not a germander. ; $context$ = sent1: if something does not roughen stinger then the fact that it is not painless is not wrong. sent2: the mat is a germander if the wassail is a germander. sent3: there exists something such that that it does roughen saponin and is allantoic does not hold. sent4: if the wassail does not roughen stinger that it is painless is false. sent5: there is something such that the fact that it is not non-hemolytic and it is not a stitcher is not right. sent6: there exists something such that the fact that it roughens saponin and it is not allantoic does not hold. sent7: something is not painless. sent8: the wassail does not roughen stinger if there is something such that it does not roughen saponin. sent9: something is a Ecuadorian but it is not painless if it does not roughen stinger. sent10: if there is something such that that it roughens saponin and is not allantoic is not true the wassail does not roughen stinger. sent11: the mat is not a germander if there is something such that it is a Ecuadorian and it is painless. sent12: something that does roughen stinger is a kind of a germander. sent13: there exists something such that it does roughen saponin and is not allantoic. sent14: if there exists something such that the fact that it is a salubrity and it is not sorrowful is not correct the muser is not painless. sent15: something that is not a germander is a Ecuadorian that is not painless. sent16: if something that is a kind of a Ecuadorian is not a germander then that the wassail does not roughen stinger is right. sent17: the mat is not a kind of a germander if there are Ecuadorian and painful things. sent18: the wassail is not painless. ; $proof$ = 
sent6 & sent10 -> int1: the wassail does not roughen stinger.; sent9 -> int2: the wassail is a Ecuadorian and is not painless if it does not roughen stinger.; int1 & int2 -> int3: the wassail is a kind of a Ecuadorian but it is not painless.; int3 -> int4: there is something such that it is a kind of Ecuadorian thing that is not painless.; int4 & sent17 -> hypothesis; __PROVED__