the tumbrel is not a kind of a ping.
sent1: the tumbrel is an alabaster that is unresponsive. sent2: if the tumbrel is a Ni-resist and is chaetognathan then it is not unresponsive. sent3: the tumbrel does not keratinize Bolivar if it is not a Ni-resist but divergent. sent4: a non-alabaster thing is a ping that is not responsive. sent5: the fact that the tumbrel is a Ni-resist and is chaetognathan is not right. sent6: if that something is both not a Ni-resist and chaetognathan is wrong it is not a ping. sent7: if the tumbrel is a Ni-resist it is not a ping. sent8: that if something is both not a Ni-resist and chaetognathan then it is not unresponsive is not wrong.
sent8 -> int1: the tumbrel is not unresponsive if the fact that it is not a kind of a Ni-resist and it is chaetognathan is not incorrect.; void -> assump1: Let's assume that the tumbrel is not a Ni-resist but it is chaetognathan.; int1 & assump1 -> int2: that the tumbrel is not unresponsive is correct.; sent1 -> int3: the tumbrel is unresponsive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the tumbrel is not a Ni-resist and is chaetognathan is incorrect.; sent6 -> int6: if that the tumbrel is not a Ni-resist but it is chaetognathan is not true it is not a kind of a ping.; int5 & int6 -> hypothesis;
the tumbrel does ping.
sent4 -> int7: the tumbrel is a kind of a ping and is unresponsive if the fact that it is not an alabaster is not false.;
$hypothesis$ = the tumbrel is not a kind of a ping. ; $context$ = sent1: the tumbrel is an alabaster that is unresponsive. sent2: if the tumbrel is a Ni-resist and is chaetognathan then it is not unresponsive. sent3: the tumbrel does not keratinize Bolivar if it is not a Ni-resist but divergent. sent4: a non-alabaster thing is a ping that is not responsive. sent5: the fact that the tumbrel is a Ni-resist and is chaetognathan is not right. sent6: if that something is both not a Ni-resist and chaetognathan is wrong it is not a ping. sent7: if the tumbrel is a Ni-resist it is not a ping. sent8: that if something is both not a Ni-resist and chaetognathan then it is not unresponsive is not wrong. ; $proof$ = 
sent8 -> int1: the tumbrel is not unresponsive if the fact that it is not a kind of a Ni-resist and it is chaetognathan is not incorrect.; void -> assump1: Let's assume that the tumbrel is not a Ni-resist but it is chaetognathan.; int1 & assump1 -> int2: that the tumbrel is not unresponsive is correct.; sent1 -> int3: the tumbrel is unresponsive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the tumbrel is not a Ni-resist and is chaetognathan is incorrect.; sent6 -> int6: if that the tumbrel is not a Ni-resist but it is chaetognathan is not true it is not a kind of a ping.; int5 & int6 -> hypothesis; __PROVED__