the jute is a capillarity if the thunder does clank Jacobinism.
sent1: the co-discoverer expatriates if the thunder does clank Jacobinism. sent2: if the co-discoverer expatriates then the jute is a kind of a capillarity. sent3: the embroideress does expatriate.
void -> assump1: Let's assume that the thunder clanks Jacobinism.; sent1 & assump1 -> int1: the co-discoverer expatriates.; sent2 & int1 -> int2: the fact that the jute is a capillarity is not wrong.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the jute is a capillarity if the thunder does clank Jacobinism. ; $context$ = sent1: the co-discoverer expatriates if the thunder does clank Jacobinism. sent2: if the co-discoverer expatriates then the jute is a kind of a capillarity. sent3: the embroideress does expatriate. ; $proof$ = 
void -> assump1: Let's assume that the thunder clanks Jacobinism.; sent1 & assump1 -> int1: the co-discoverer expatriates.; sent2 & int1 -> int2: the fact that the jute is a capillarity is not wrong.; [assump1] & int2 -> hypothesis; __PROVED__