there is something such that if that it concocts cupbearer and it is not a acatalectic is false then the fact that it is not a Koran hold.
sent1: there is something such that if the fact that it concocts cupbearer and is not acatalectic is not right it is a kind of a Koran. sent2: if the fact that something concocts cupbearer and is not a kind of a acatalectic is not right it is a Koran. sent3: if the tailgater does not concoct cupbearer it is not a Koran. sent4: something is not a Koran if that it does concoct cupbearer and it is not a acatalectic is not right. sent5: if something does not concoct cupbearer it is not a kind of a Koran. sent6: there is something such that if the fact that it is not seamed and it is isentropic is false then it is not archiepiscopal. sent7: if the fact that something does concoct cupbearer and is a acatalectic is wrong then it is not a Koran. sent8: if something that does concoct cupbearer is not acatalectic it is not a kind of a Koran.
sent4 -> int1: if the fact that the tailgater concocts cupbearer and is not a kind of a acatalectic is not correct then it is not a Koran.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it concocts cupbearer and it is not a acatalectic is false then the fact that it is not a Koran hold. ; $context$ = sent1: there is something such that if the fact that it concocts cupbearer and is not acatalectic is not right it is a kind of a Koran. sent2: if the fact that something concocts cupbearer and is not a kind of a acatalectic is not right it is a Koran. sent3: if the tailgater does not concoct cupbearer it is not a Koran. sent4: something is not a Koran if that it does concoct cupbearer and it is not a acatalectic is not right. sent5: if something does not concoct cupbearer it is not a kind of a Koran. sent6: there is something such that if the fact that it is not seamed and it is isentropic is false then it is not archiepiscopal. sent7: if the fact that something does concoct cupbearer and is a acatalectic is wrong then it is not a Koran. sent8: if something that does concoct cupbearer is not acatalectic it is not a kind of a Koran. ; $proof$ = 
sent4 -> int1: if the fact that the tailgater concocts cupbearer and is not a kind of a acatalectic is not correct then it is not a Koran.; int1 -> hypothesis; __PROVED__