if the lighter concerns jacket the rainstorm is a teredo.
sent1: something that is a redneck is a teredo. sent2: if the rainstorm does expense Bukharin then that it is a redneck is not wrong. sent3: if the lighter concerns jacket then the rainstorm does expense Bukharin.
void -> assump1: Let's assume that the lighter concerns jacket.; sent3 & assump1 -> int1: the rainstorm does expense Bukharin.; int1 & sent2 -> int2: the rainstorm is a redneck.; sent1 -> int3: the rainstorm is a kind of a teredo if it is a redneck.; int2 & int3 -> int4: the rainstorm is a teredo.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the lighter concerns jacket the rainstorm is a teredo. ; $context$ = sent1: something that is a redneck is a teredo. sent2: if the rainstorm does expense Bukharin then that it is a redneck is not wrong. sent3: if the lighter concerns jacket then the rainstorm does expense Bukharin. ; $proof$ = 
void -> assump1: Let's assume that the lighter concerns jacket.; sent3 & assump1 -> int1: the rainstorm does expense Bukharin.; int1 & sent2 -> int2: the rainstorm is a redneck.; sent1 -> int3: the rainstorm is a kind of a teredo if it is a redneck.; int2 & int3 -> int4: the rainstorm is a teredo.; [assump1] & int4 -> hypothesis; __PROVED__