the town is not a kind of a sickle.
sent1: if the town is not a warrigal the fact that it is not nonpartisan and it is a Ono is not true. sent2: the town is not a nonpartisan but it is a Ono. sent3: if the town is a warrigal then it is a kind of a sickle. sent4: the fact that something is a warrigal that does not bury does not hold if it sends Diegueno. sent5: the crockery sends Diegueno and it is inconspicuous. sent6: something is not a sickle if the fact that it is a sickle that is a warrigal is not right. sent7: the concoction is not a warrigal if there is something such that the fact that it is a warrigal and does not bury is not true.
void -> assump1: Let's assume that the town is not a warrigal.; sent1 & assump1 -> int1: the fact that the town is non-nonpartisan a Ono is false.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the town is a warrigal.; int3 & sent3 -> hypothesis;
that the town is not a sickle hold.
sent6 -> int4: the fact that the town is not a kind of the sickle if the fact that the town is a sickle and it is a warrigal is wrong is correct.; sent4 -> int5: if the crockery sends Diegueno the fact that it is a warrigal and it does not bury is not correct.; sent5 -> int6: the crockery does send Diegueno.; int5 & int6 -> int7: the fact that the crockery is a warrigal but it does not bury is not right.; int7 -> int8: there is something such that the fact that it is a warrigal and does not bury is not true.; int8 & sent7 -> int9: the concoction is not a kind of a warrigal.; int9 -> int10: there is something such that it is not a kind of a warrigal.;
$hypothesis$ = the town is not a kind of a sickle. ; $context$ = sent1: if the town is not a warrigal the fact that it is not nonpartisan and it is a Ono is not true. sent2: the town is not a nonpartisan but it is a Ono. sent3: if the town is a warrigal then it is a kind of a sickle. sent4: the fact that something is a warrigal that does not bury does not hold if it sends Diegueno. sent5: the crockery sends Diegueno and it is inconspicuous. sent6: something is not a sickle if the fact that it is a sickle that is a warrigal is not right. sent7: the concoction is not a warrigal if there is something such that the fact that it is a warrigal and does not bury is not true. ; $proof$ = 
void -> assump1: Let's assume that the town is not a warrigal.; sent1 & assump1 -> int1: the fact that the town is non-nonpartisan a Ono is false.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the town is a warrigal.; int3 & sent3 -> hypothesis; __DISPROVED__