the tag is a kind of wheelless thing that is non-antiquarian if that the collembolan is not a kind of a stateswoman hold.
sent1: if the collembolan is not a stateswoman then that it is a kind of datable thing that copies tun is false. sent2: if something is not antiquarian it is wheelless. sent3: if the tag is a stateswoman then the collembolan is a stateswoman but it is not wheelless. sent4: if the collembolan is wheelless the fact that the tag is wheelless but it is non-antiquarian is not false. sent5: the collembolan is antiquarian. sent6: something does copy tun if it is not antiquarian. sent7: if the tag is wheelless then the collembolan is both antiquarian and not undatable. sent8: if the collembolan is undatable the fact that the tag is undatable is not incorrect. sent9: if the fact that something is non-undatable thing that does copy tun is not right then the fact that it is wheelless is true.
void -> assump1: Let's assume that the collembolan is not a stateswoman.; sent1 & assump1 -> int1: that the collembolan is not undatable but it does copy tun does not hold.; sent9 -> int2: the collembolan is wheelless if the fact that it is a kind of datable thing that does copy tun is false.; int1 & int2 -> int3: the collembolan is wheelless.; int3 & sent4 -> int4: the tag is both wheelless and not antiquarian.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the tag is a kind of wheelless thing that is non-antiquarian if that the collembolan is not a kind of a stateswoman hold. ; $context$ = sent1: if the collembolan is not a stateswoman then that it is a kind of datable thing that copies tun is false. sent2: if something is not antiquarian it is wheelless. sent3: if the tag is a stateswoman then the collembolan is a stateswoman but it is not wheelless. sent4: if the collembolan is wheelless the fact that the tag is wheelless but it is non-antiquarian is not false. sent5: the collembolan is antiquarian. sent6: something does copy tun if it is not antiquarian. sent7: if the tag is wheelless then the collembolan is both antiquarian and not undatable. sent8: if the collembolan is undatable the fact that the tag is undatable is not incorrect. sent9: if the fact that something is non-undatable thing that does copy tun is not right then the fact that it is wheelless is true. ; $proof$ = 
void -> assump1: Let's assume that the collembolan is not a stateswoman.; sent1 & assump1 -> int1: that the collembolan is not undatable but it does copy tun does not hold.; sent9 -> int2: the collembolan is wheelless if the fact that it is a kind of datable thing that does copy tun is false.; int1 & int2 -> int3: the collembolan is wheelless.; int3 & sent4 -> int4: the tag is both wheelless and not antiquarian.; [assump1] & int4 -> hypothesis; __PROVED__