the thread does not deplore fireball.
sent1: the technocrat is liturgical. sent2: if the fact that something does clap is not false it is catoptrics. sent3: if there exists something such that it is liturgical or it is catoptrics or both the technocrat is catoptrics. sent4: the thread does not deplore fireball if the col does not box congress. sent5: if the col is catoptrics and it corners the technocrat is not liturgical. sent6: something either is liturgical or is catoptrics or both. sent7: if the col boxes congress it does clap. sent8: the col is a kind of a corner.
void -> assump1: Let's assume that the col does box congress.; sent7 & assump1 -> int1: the col does clap.; sent2 -> int2: if the col claps then it is catoptrics.; int1 & int2 -> int3: the col is catoptrics.; int3 & sent8 -> int4: the col is catoptrics and it does corner.; int4 & sent5 -> int5: the technocrat is not liturgical.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the col does not box congress hold.; int7 & sent4 -> hypothesis;
the thread does deplore fireball.
sent6 & sent3 -> int8: the technocrat is catoptrics.;
$hypothesis$ = the thread does not deplore fireball. ; $context$ = sent1: the technocrat is liturgical. sent2: if the fact that something does clap is not false it is catoptrics. sent3: if there exists something such that it is liturgical or it is catoptrics or both the technocrat is catoptrics. sent4: the thread does not deplore fireball if the col does not box congress. sent5: if the col is catoptrics and it corners the technocrat is not liturgical. sent6: something either is liturgical or is catoptrics or both. sent7: if the col boxes congress it does clap. sent8: the col is a kind of a corner. ; $proof$ = 
void -> assump1: Let's assume that the col does box congress.; sent7 & assump1 -> int1: the col does clap.; sent2 -> int2: if the col claps then it is catoptrics.; int1 & int2 -> int3: the col is catoptrics.; int3 & sent8 -> int4: the col is catoptrics and it does corner.; int4 & sent5 -> int5: the technocrat is not liturgical.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the col does not box congress hold.; int7 & sent4 -> hypothesis; __PROVED__