the fact that the shirt is both not peritoneal and ectopic does not hold.
sent1: something that does gerrymander is not a centerboard and is not a mark. sent2: the axolotl is not a jellyfish and it is not lesser if the frontier is lesser. sent3: if the shirt is both not peritoneal and a jellyfish the axolotl is a gerrymander. sent4: the frontier is not a kind of a meanness. sent5: the fact that the shirt is not peritoneal but ectopic is false if it is not a kind of a gerrymander. sent6: if something does enthuse it does rehabilitate carrageen. sent7: if something that is not a kind of a jellyfish is not lesser the powerbroker does not spend lapful. sent8: the powerbroker rehabilitates clearance. sent9: The clearance rehabilitates powerbroker. sent10: there exists something such that it is lesser and it is not ectopic. sent11: the frontier is lesser if the shirt is not a centerboard and not a mark. sent12: something that does rehabilitate hang-up is a kind of a shift.
sent1 -> int1: if the shirt gerrymanders it is not a centerboard and it does not mark.; void -> assump1: Let's assume that the shirt is a gerrymander.; int1 & assump1 -> int2: the shirt is not a kind of a centerboard and is not a mark.; int2 & sent11 -> int3: the frontier is lesser.; int3 & sent2 -> int4: the axolotl is not a jellyfish and it is not lesser.; int4 -> int5: there exists something such that it is not a jellyfish and not lesser.; int5 & sent7 -> int6: the powerbroker does not spend lapful.;
$hypothesis$ = the fact that the shirt is both not peritoneal and ectopic does not hold. ; $context$ = sent1: something that does gerrymander is not a centerboard and is not a mark. sent2: the axolotl is not a jellyfish and it is not lesser if the frontier is lesser. sent3: if the shirt is both not peritoneal and a jellyfish the axolotl is a gerrymander. sent4: the frontier is not a kind of a meanness. sent5: the fact that the shirt is not peritoneal but ectopic is false if it is not a kind of a gerrymander. sent6: if something does enthuse it does rehabilitate carrageen. sent7: if something that is not a kind of a jellyfish is not lesser the powerbroker does not spend lapful. sent8: the powerbroker rehabilitates clearance. sent9: The clearance rehabilitates powerbroker. sent10: there exists something such that it is lesser and it is not ectopic. sent11: the frontier is lesser if the shirt is not a centerboard and not a mark. sent12: something that does rehabilitate hang-up is a kind of a shift. ; $proof$ = 
sent1 -> int1: if the shirt gerrymanders it is not a centerboard and it does not mark.; void -> assump1: Let's assume that the shirt is a gerrymander.; int1 & assump1 -> int2: the shirt is not a kind of a centerboard and is not a mark.; int2 & sent11 -> int3: the frontier is lesser.; int3 & sent2 -> int4: the axolotl is not a jellyfish and it is not lesser.; int4 -> int5: there exists something such that it is not a jellyfish and not lesser.; int5 & sent7 -> int6: the powerbroker does not spend lapful.; __UNKNOWN__