that the frosting is a contagion and pins rock is not correct.
sent1: something does not pin rock. sent2: something does not hypnotize pungency if the fact that it is non-cacodylic and/or vests is wrong. sent3: there exists something such that it is not knee-length. sent4: if the fact that the guaiacum is not monetary is true the fundamentalist is an envelope and it is a hairline. sent5: if the lobby does not hypnotize guaiacum then the fact that it is a kind of a Onagraceae and it is not a lampshade is not correct. sent6: if something is a hairline then that that it does not hypnotize pungency and is a contagion is not wrong is wrong. sent7: the frosting is a contagion and it does pin rock if there exists something such that it does not hypnotize pungency. sent8: the frosting is not cacodylic. sent9: that either the frosting does not pin rock or it is cacodylic or both is not true. sent10: the elater is armorial if there exists something such that it is not nonexistent. sent11: something is not a contagion if that it does not hypnotize pungency and it is a contagion does not hold. sent12: if that either the elater is not a contagion or it does pin rock or both is not correct then it is not cacodylic. sent13: that the lobby does not hypnotize guaiacum is right. sent14: that the elater is non-cacodylic and/or a vest is not true. sent15: if there exists something such that that it is a Onagraceae and it is not a lampshade does not hold the radiator is not a Onagraceae. sent16: the frosting pins rock if something does not hypnotize pungency. sent17: if that something is a rag and a Onagraceae is not right then it is not monetary. sent18: there is something such that it does hypnotize aztreonam. sent19: the elater pins rock and it is cacodylic. sent20: there exists something such that it is not a contagion. sent21: the fact that the guaiacum does rag and it is a Onagraceae is not right if there is something such that it is not a Onagraceae.
sent2 -> int1: if the fact that the elater is not cacodylic or it is a vest or both does not hold that it does not hypnotize pungency is correct.; int1 & sent14 -> int2: the elater does not hypnotize pungency.; int2 -> int3: something does not hypnotize pungency.; int3 & sent7 -> hypothesis;
the fact that the frosting is a kind of a contagion and it does pin rock is incorrect.
sent11 -> int4: if that the fundamentalist does not hypnotize pungency but it is a contagion does not hold it is not a kind of a contagion.; sent6 -> int5: if the fundamentalist is a hairline that it does not hypnotize pungency and is a contagion is not right.; sent17 -> int6: if that the guaiacum is a rag and is a Onagraceae is not right then it is non-monetary.; sent5 & sent13 -> int7: the fact that the lobby is both a Onagraceae and not a lampshade is incorrect.; int7 -> int8: there is something such that that it is a Onagraceae and it is not a kind of a lampshade does not hold.; int8 & sent15 -> int9: the radiator is not a Onagraceae.; int9 -> int10: something is not a Onagraceae.; int10 & sent21 -> int11: that the guaiacum is a rag and it is a Onagraceae does not hold.; int6 & int11 -> int12: the guaiacum is not monetary.; sent4 & int12 -> int13: the fundamentalist is a kind of an envelope and is a hairline.; int13 -> int14: the fundamentalist is a kind of a hairline.; int5 & int14 -> int15: that the fundamentalist does not hypnotize pungency but it is a contagion is wrong.; int4 & int15 -> int16: the fundamentalist is not a kind of a contagion.; int16 -> int17: something is not a contagion.;
$hypothesis$ = that the frosting is a contagion and pins rock is not correct. ; $context$ = sent1: something does not pin rock. sent2: something does not hypnotize pungency if the fact that it is non-cacodylic and/or vests is wrong. sent3: there exists something such that it is not knee-length. sent4: if the fact that the guaiacum is not monetary is true the fundamentalist is an envelope and it is a hairline. sent5: if the lobby does not hypnotize guaiacum then the fact that it is a kind of a Onagraceae and it is not a lampshade is not correct. sent6: if something is a hairline then that that it does not hypnotize pungency and is a contagion is not wrong is wrong. sent7: the frosting is a contagion and it does pin rock if there exists something such that it does not hypnotize pungency. sent8: the frosting is not cacodylic. sent9: that either the frosting does not pin rock or it is cacodylic or both is not true. sent10: the elater is armorial if there exists something such that it is not nonexistent. sent11: something is not a contagion if that it does not hypnotize pungency and it is a contagion does not hold. sent12: if that either the elater is not a contagion or it does pin rock or both is not correct then it is not cacodylic. sent13: that the lobby does not hypnotize guaiacum is right. sent14: that the elater is non-cacodylic and/or a vest is not true. sent15: if there exists something such that that it is a Onagraceae and it is not a lampshade does not hold the radiator is not a Onagraceae. sent16: the frosting pins rock if something does not hypnotize pungency. sent17: if that something is a rag and a Onagraceae is not right then it is not monetary. sent18: there is something such that it does hypnotize aztreonam. sent19: the elater pins rock and it is cacodylic. sent20: there exists something such that it is not a contagion. sent21: the fact that the guaiacum does rag and it is a Onagraceae is not right if there is something such that it is not a Onagraceae. ; $proof$ = 
sent2 -> int1: if the fact that the elater is not cacodylic or it is a vest or both does not hold that it does not hypnotize pungency is correct.; int1 & sent14 -> int2: the elater does not hypnotize pungency.; int2 -> int3: something does not hypnotize pungency.; int3 & sent7 -> hypothesis; __DISPROVED__