the kaolin is not a straight if the dauphin does not veil glove.
sent1: the kaolin does bundle. sent2: the dauphin does foam if the cope is a former and/or is part-time. sent3: if the dauphin is cannibalistic then it is former. sent4: the dauphin is a former if it does not bundle. sent5: if the cope is not a former the dauphin is part-time. sent6: the kaolin is non-straight if the cope is part-time and/or it is a foam. sent7: either the cope is former or it is part-time or both. sent8: if the dauphin is former then the cope does bundle. sent9: if the cope bundles it is part-time. sent10: the dauphin is cannibalistic if it does not veil glove. sent11: if the dauphin does veil glove the fact that the kaolin is not straight is right.
void -> assump1: Let's assume that that the dauphin does not veil glove is right.; sent10 & assump1 -> int1: the dauphin is cannibalistic.; int1 & sent3 -> int2: the dauphin is not non-former.; int2 & sent8 -> int3: that the cope does bundle is not wrong.; int3 & sent9 -> int4: the cope is part-time.; int4 -> int5: either the cope is part-time or it is a foam or both.; int5 & sent6 -> int6: the kaolin is not straight.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the kaolin is not a straight if the dauphin does not veil glove. ; $context$ = sent1: the kaolin does bundle. sent2: the dauphin does foam if the cope is a former and/or is part-time. sent3: if the dauphin is cannibalistic then it is former. sent4: the dauphin is a former if it does not bundle. sent5: if the cope is not a former the dauphin is part-time. sent6: the kaolin is non-straight if the cope is part-time and/or it is a foam. sent7: either the cope is former or it is part-time or both. sent8: if the dauphin is former then the cope does bundle. sent9: if the cope bundles it is part-time. sent10: the dauphin is cannibalistic if it does not veil glove. sent11: if the dauphin does veil glove the fact that the kaolin is not straight is right. ; $proof$ = 
void -> assump1: Let's assume that that the dauphin does not veil glove is right.; sent10 & assump1 -> int1: the dauphin is cannibalistic.; int1 & sent3 -> int2: the dauphin is not non-former.; int2 & sent8 -> int3: that the cope does bundle is not wrong.; int3 & sent9 -> int4: the cope is part-time.; int4 -> int5: either the cope is part-time or it is a foam or both.; int5 & sent6 -> int6: the kaolin is not straight.; [assump1] & int6 -> hypothesis; __PROVED__