if the quince does roll veil then the veil does coin.
sent1: if that something is not foul and it is not insane does not hold then it is a kind of a coin. sent2: the fact that the veil is not a kind of a foul and it is not insane does not hold if the quince does roll veil.
void -> assump1: Let's assume that the quince does roll veil.; sent2 & assump1 -> int1: the fact that the veil is non-foul and it is not insane does not hold.; sent1 -> int2: if that the veil is both not foul and not insane is not correct then the fact that it is a coin is right.; int1 & int2 -> int3: the veil is a coin.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the quince does roll veil then the veil does coin. ; $context$ = sent1: if that something is not foul and it is not insane does not hold then it is a kind of a coin. sent2: the fact that the veil is not a kind of a foul and it is not insane does not hold if the quince does roll veil. ; $proof$ = 
void -> assump1: Let's assume that the quince does roll veil.; sent2 & assump1 -> int1: the fact that the veil is non-foul and it is not insane does not hold.; sent1 -> int2: if that the veil is both not foul and not insane is not correct then the fact that it is a coin is right.; int1 & int2 -> int3: the veil is a coin.; [assump1] & int3 -> hypothesis; __PROVED__