if the selector is not a kind of a Gambian then the Graham is endemic and it does discard pocketcomb.
sent1: if the catacomb discards inpatient the selector is not an impedance. sent2: the selector is not wintry. sent3: the selector bares. sent4: the fact that the catacomb does not discard inpatient and it is not wintry is incorrect. sent5: the fact that the fact that the catacomb does discard inpatient and is not wintry is correct is not right. sent6: the Graham is an endemic that discards pocketcomb if the selector is Gambian. sent7: the selector is not an endemic if the catacomb is an endemic. sent8: the fact that that the catacomb does not discard inpatient and it is not an impedance is right does not hold. sent9: the selector discards inpatient. sent10: if the fact that the selector is not an impedance and it is not a kind of a Gambian hold then the Graham does discard pocketcomb. sent11: the Graham is not wintry. sent12: the Graham does discard pocketcomb if the selector is not a kind of an impedance but it is Gambian. sent13: the catacomb is an endemic if that the Graham is not endemic and is not a Gambian is false. sent14: the Graham is not an impedance if the pocketcomb is a neckband and it discards pocketcomb. sent15: the pocketcomb is a neckband and is a dessertspoon. sent16: the Graham is an endemic. sent17: the selector is not an impedance if that the catacomb does not discard inpatient and is not wintry does not hold.
sent17 & sent4 -> int1: the selector is not an impedance.; void -> assump1: Let's assume that the selector is non-Gambian.; int1 & assump1 -> int2: the selector is not a kind of an impedance and it is not a Gambian.; int2 & sent10 -> int3: the Graham does discard pocketcomb.; int3 & sent16 -> int4: the Graham is an endemic and it discards pocketcomb.; [assump1] & int4 -> hypothesis;
the selector is not a kind of an endemic.
sent15 -> int5: the pocketcomb is a neckband.;
$hypothesis$ = if the selector is not a kind of a Gambian then the Graham is endemic and it does discard pocketcomb. ; $context$ = sent1: if the catacomb discards inpatient the selector is not an impedance. sent2: the selector is not wintry. sent3: the selector bares. sent4: the fact that the catacomb does not discard inpatient and it is not wintry is incorrect. sent5: the fact that the fact that the catacomb does discard inpatient and is not wintry is correct is not right. sent6: the Graham is an endemic that discards pocketcomb if the selector is Gambian. sent7: the selector is not an endemic if the catacomb is an endemic. sent8: the fact that that the catacomb does not discard inpatient and it is not an impedance is right does not hold. sent9: the selector discards inpatient. sent10: if the fact that the selector is not an impedance and it is not a kind of a Gambian hold then the Graham does discard pocketcomb. sent11: the Graham is not wintry. sent12: the Graham does discard pocketcomb if the selector is not a kind of an impedance but it is Gambian. sent13: the catacomb is an endemic if that the Graham is not endemic and is not a Gambian is false. sent14: the Graham is not an impedance if the pocketcomb is a neckband and it discards pocketcomb. sent15: the pocketcomb is a neckband and is a dessertspoon. sent16: the Graham is an endemic. sent17: the selector is not an impedance if that the catacomb does not discard inpatient and is not wintry does not hold. ; $proof$ = 
sent17 & sent4 -> int1: the selector is not an impedance.; void -> assump1: Let's assume that the selector is non-Gambian.; int1 & assump1 -> int2: the selector is not a kind of an impedance and it is not a Gambian.; int2 & sent10 -> int3: the Graham does discard pocketcomb.; int3 & sent16 -> int4: the Graham is an endemic and it discards pocketcomb.; [assump1] & int4 -> hypothesis; __PROVED__