the keratin is a kind of a stepper.
sent1: the organ-grinder is philosophic. sent2: if there exists something such that that it updates cowhide and is not a antlion does not hold then the garrison is not macromolecular. sent3: something is a stepper if the fact that it is a dictator and it is not a stepper is not correct. sent4: if something is a dictator then it is not a kind of a settler. sent5: if something is non-locomotive then that it updates cowhide and it is not a antlion is false. sent6: the fact that something is a kind of a dictator and is not a stepper is wrong if it is a settler. sent7: the keratin is not a stepper if the fact that the popper is not a dictator and is not a settler is false. sent8: the fact that something is both a prismoid and not a settler is not correct if it is not a afropavo. sent9: if the fact that either the settler is not auxinic or it does housekeep or both does not hold the popper is not a afropavo. sent10: that the popper is a kind of a dictator that is not a settler is not correct. sent11: the organ-grinder is diazo. sent12: the organ-grinder is not locomotive if it is philosophic and it is diazo. sent13: the keratin is not a settler. sent14: if the garrison is not macromolecular the fact that the settler is not auxinic or it housekeeps or both is not right. sent15: if the popper is a dictator then the fact that the keratin is not a stepper is true. sent16: the popper is a settler.
void -> assump1: Let's assume that the popper is both not a dictator and not a settler.; assump1 -> int1: the popper is not a settler.; sent16 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the popper is not a dictator and it is not a settler is wrong.; sent7 & int3 -> hypothesis;
that the jadeite is not a settler is not wrong.
sent4 -> int4: the jadeite is not a settler if it is a dictator.;
$hypothesis$ = the keratin is a kind of a stepper. ; $context$ = sent1: the organ-grinder is philosophic. sent2: if there exists something such that that it updates cowhide and is not a antlion does not hold then the garrison is not macromolecular. sent3: something is a stepper if the fact that it is a dictator and it is not a stepper is not correct. sent4: if something is a dictator then it is not a kind of a settler. sent5: if something is non-locomotive then that it updates cowhide and it is not a antlion is false. sent6: the fact that something is a kind of a dictator and is not a stepper is wrong if it is a settler. sent7: the keratin is not a stepper if the fact that the popper is not a dictator and is not a settler is false. sent8: the fact that something is both a prismoid and not a settler is not correct if it is not a afropavo. sent9: if the fact that either the settler is not auxinic or it does housekeep or both does not hold the popper is not a afropavo. sent10: that the popper is a kind of a dictator that is not a settler is not correct. sent11: the organ-grinder is diazo. sent12: the organ-grinder is not locomotive if it is philosophic and it is diazo. sent13: the keratin is not a settler. sent14: if the garrison is not macromolecular the fact that the settler is not auxinic or it housekeeps or both is not right. sent15: if the popper is a dictator then the fact that the keratin is not a stepper is true. sent16: the popper is a settler. ; $proof$ = 
void -> assump1: Let's assume that the popper is both not a dictator and not a settler.; assump1 -> int1: the popper is not a settler.; sent16 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the popper is not a dictator and it is not a settler is wrong.; sent7 & int3 -> hypothesis; __DISPROVED__