the hominid does not sweeten.
sent1: if something is not unassertive then the fact that it shelters pruner and does provide Araneae does not hold. sent2: the hominid provides Araneae if it does proclaim. sent3: if the Caddo is not a mincer the fact that it does sweeten and is unassertive is not true. sent4: there is something such that it does not sweeten. sent5: if the hominid provides Araneae it does not shelter pruner. sent6: if the hominid does not proclaim it sweetens. sent7: if there is something such that it does shelter pruner and it is not assertive then the camber is a mincer. sent8: if the machmeter does not proclaim the camber does proclaim. sent9: if the fact that the machmeter does not provide Araneae and/or does not shelter pruner is not right then the camber does not provide Araneae. sent10: if the camber does proclaim then the hominid is a raging. sent11: the camber is not a kind of a mincer. sent12: if the postulator is unassertive then the fact that the machmeter either does not provide Araneae or does not shelter pruner or both does not hold. sent13: if that the hominid does not provide Araneae is not correct it does not shelter pruner and it is unassertive. sent14: if there is something such that it does not shelter pruner and is unassertive then the camber is a kind of a mincer.
void -> assump1: Let's assume that the hominid proclaims.; sent2 & assump1 -> int1: the hominid does provide Araneae.; int1 & sent13 -> int2: the hominid does not shelter pruner and is unassertive.; int2 -> int3: something does not shelter pruner and is unassertive.; int3 & sent14 -> int4: the camber is a mincer.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hominid does not proclaim.; int6 & sent6 -> hypothesis;
the hominid rages.
sent1 -> int7: that the postulator shelters pruner and provides Araneae does not hold if it is not unassertive.;
$hypothesis$ = the hominid does not sweeten. ; $context$ = sent1: if something is not unassertive then the fact that it shelters pruner and does provide Araneae does not hold. sent2: the hominid provides Araneae if it does proclaim. sent3: if the Caddo is not a mincer the fact that it does sweeten and is unassertive is not true. sent4: there is something such that it does not sweeten. sent5: if the hominid provides Araneae it does not shelter pruner. sent6: if the hominid does not proclaim it sweetens. sent7: if there is something such that it does shelter pruner and it is not assertive then the camber is a mincer. sent8: if the machmeter does not proclaim the camber does proclaim. sent9: if the fact that the machmeter does not provide Araneae and/or does not shelter pruner is not right then the camber does not provide Araneae. sent10: if the camber does proclaim then the hominid is a raging. sent11: the camber is not a kind of a mincer. sent12: if the postulator is unassertive then the fact that the machmeter either does not provide Araneae or does not shelter pruner or both does not hold. sent13: if that the hominid does not provide Araneae is not correct it does not shelter pruner and it is unassertive. sent14: if there is something such that it does not shelter pruner and is unassertive then the camber is a kind of a mincer. ; $proof$ = 
void -> assump1: Let's assume that the hominid proclaims.; sent2 & assump1 -> int1: the hominid does provide Araneae.; int1 & sent13 -> int2: the hominid does not shelter pruner and is unassertive.; int2 -> int3: something does not shelter pruner and is unassertive.; int3 & sent14 -> int4: the camber is a mincer.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hominid does not proclaim.; int6 & sent6 -> hypothesis; __DISPROVED__