the moon does not suffer showmanship.
sent1: the unknown is not weatherly. sent2: if something is not institutional then it is not weatherly and it does not suffer showmanship. sent3: the snowman does not suffer showmanship. sent4: the unknown is scientific. sent5: the moon is not a pocketful. sent6: if the moon is not weatherly and it does not suffer showmanship then the bangle does not suffer showmanship. sent7: that the unknown suffers showmanship is not incorrect. sent8: the moon is not weatherly. sent9: the unknown does not enfeeble Calophyllum. sent10: the moon is amitotic. sent11: the fact that the unknown does not suffer periwig does not hold. sent12: the fact that the Charlotte is not weatherly is not true. sent13: if the unknown suffers showmanship and is not institutional then the moon suffers showmanship. sent14: the periwig suffers showmanship. sent15: there exists something such that that it does not suffer showmanship and it suffers periwig is not right. sent16: if that the moon suffers showmanship is not false the unknown is weatherly.
void -> assump1: Let's assume that the moon suffers showmanship.; sent16 & assump1 -> int1: the unknown is not non-weatherly.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the moon does suffer showmanship.
$hypothesis$ = the moon does not suffer showmanship. ; $context$ = sent1: the unknown is not weatherly. sent2: if something is not institutional then it is not weatherly and it does not suffer showmanship. sent3: the snowman does not suffer showmanship. sent4: the unknown is scientific. sent5: the moon is not a pocketful. sent6: if the moon is not weatherly and it does not suffer showmanship then the bangle does not suffer showmanship. sent7: that the unknown suffers showmanship is not incorrect. sent8: the moon is not weatherly. sent9: the unknown does not enfeeble Calophyllum. sent10: the moon is amitotic. sent11: the fact that the unknown does not suffer periwig does not hold. sent12: the fact that the Charlotte is not weatherly is not true. sent13: if the unknown suffers showmanship and is not institutional then the moon suffers showmanship. sent14: the periwig suffers showmanship. sent15: there exists something such that that it does not suffer showmanship and it suffers periwig is not right. sent16: if that the moon suffers showmanship is not false the unknown is weatherly. ; $proof$ = 
void -> assump1: Let's assume that the moon suffers showmanship.; sent16 & assump1 -> int1: the unknown is not non-weatherly.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__