the metformin is not influential.
sent1: if the cephalexin is a kind of a Tartary but it is not an autobahn then the Tuber is not a kind of a demotion. sent2: something is not an autobahn if that it is a 1728 and a Tartary is not correct. sent3: the cephalexin is an autobahn. sent4: if the Tuber is not a kind of a demotion and it does not squawk amputation then the cephalexin is not an autobahn. sent5: the metformin is a 1728 if it does not harden. sent6: the Tuber does last. sent7: the Tuber is not a Tartary if it does not squawk blusher and does not squawk Elector. sent8: there exists nothing that does not squawk blusher and is a Tartary. sent9: if the Tuber is a kind of a last then it does not squawk blusher and it does not squawk Elector. sent10: the metformin is not an autobahn if that the cephalexin is not a kind of a Tartary and it is uninfluential is not correct. sent11: the fact that the metformin is not a Tartary and/or it is not a 1728 is not true if it does not harden. sent12: that something is influential and it hardens is not true if it is not an autobahn. sent13: if there is something such that it is not a 1728 and/or does not harden the Tuber does not harden. sent14: that the Tuber hardens but it is not a demotion is not true. sent15: if the fact that the Tuber is not a demotion and does not squawk amputation is not correct then the metformin does not harden. sent16: the fact that the barbershop is not influential and is not a kind of a utahraptor does not hold if there is something such that it does not harden. sent17: if something is a kind of an autobahn it either is not a 1728 or does not harden or both. sent18: if the fact that the metformin is not a Tartary and/or it is not a 1728 is false it is influential.
void -> assump1: Let's assume that that the Tuber is not a demotion and does not squawk amputation is right.; sent4 & assump1 -> int1: the cephalexin is not a kind of an autobahn.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Tuber is not a demotion and it does not squawk amputation is not true.; int3 & sent15 -> int4: the metformin does not harden.; int4 & sent11 -> int5: that either the metformin is not a kind of a Tartary or it is not a 1728 or both is not right.; int5 & sent18 -> hypothesis;
that the barbershop is not influential and is not a utahraptor does not hold.
sent8 -> int6: that the fact that the metformin does not squawk blusher but it is a Tartary is false is not false.; sent17 -> int7: if the metformin is an autobahn then either it is not a 1728 or it does not harden or both.;
$hypothesis$ = the metformin is not influential. ; $context$ = sent1: if the cephalexin is a kind of a Tartary but it is not an autobahn then the Tuber is not a kind of a demotion. sent2: something is not an autobahn if that it is a 1728 and a Tartary is not correct. sent3: the cephalexin is an autobahn. sent4: if the Tuber is not a kind of a demotion and it does not squawk amputation then the cephalexin is not an autobahn. sent5: the metformin is a 1728 if it does not harden. sent6: the Tuber does last. sent7: the Tuber is not a Tartary if it does not squawk blusher and does not squawk Elector. sent8: there exists nothing that does not squawk blusher and is a Tartary. sent9: if the Tuber is a kind of a last then it does not squawk blusher and it does not squawk Elector. sent10: the metformin is not an autobahn if that the cephalexin is not a kind of a Tartary and it is uninfluential is not correct. sent11: the fact that the metformin is not a Tartary and/or it is not a 1728 is not true if it does not harden. sent12: that something is influential and it hardens is not true if it is not an autobahn. sent13: if there is something such that it is not a 1728 and/or does not harden the Tuber does not harden. sent14: that the Tuber hardens but it is not a demotion is not true. sent15: if the fact that the Tuber is not a demotion and does not squawk amputation is not correct then the metformin does not harden. sent16: the fact that the barbershop is not influential and is not a kind of a utahraptor does not hold if there is something such that it does not harden. sent17: if something is a kind of an autobahn it either is not a 1728 or does not harden or both. sent18: if the fact that the metformin is not a Tartary and/or it is not a 1728 is false it is influential. ; $proof$ = 
void -> assump1: Let's assume that that the Tuber is not a demotion and does not squawk amputation is right.; sent4 & assump1 -> int1: the cephalexin is not a kind of an autobahn.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Tuber is not a demotion and it does not squawk amputation is not true.; int3 & sent15 -> int4: the metformin does not harden.; int4 & sent11 -> int5: that either the metformin is not a kind of a Tartary or it is not a 1728 or both is not right.; int5 & sent18 -> hypothesis; __DISPROVED__