the epicardia does not disembowel WAN if the headcheese does yield pepsinogen.
sent1: if something does yield pepsinogen but it does not disembowel WAN it is subsequent. sent2: something does not disembowel WAN if it does not yield Grammatophyllum and it descries catheter. sent3: the headcheese does yield pepsinogen if it is not non-subsequent and not jihadi. sent4: a subsequent thing that is not jihadi does yield pepsinogen. sent5: the epicardia does not disembowel WAN if that the headcheese is subsequent but it is not jihadi is incorrect. sent6: the headcheese does disembowel WAN if the epicardia yields pepsinogen. sent7: if something that is not non-subsequent is jihadi then it does not yield pepsinogen. sent8: something that does wander and is a kind of a ethnographer is not a Hutchinson. sent9: the fact that the epicardia yields pepsinogen and it disembowels WAN is not right. sent10: the microtome does not disembowel WAN. sent11: the headcheese does not disembowel clairvoyant. sent12: if something is subsequent and is not jihadi it does disembowel WAN. sent13: if that the headcheese is jihadi hold that the epicardia does not disembowel WAN is not incorrect. sent14: if something does not disembowel WAN then the fact that it is haptic and it does not yield pepsinogen does not hold. sent15: the headcheese does not yield pepsinogen if it is subsequent and is jihadi. sent16: that the headcheese is both subsequent and jihadi does not hold. sent17: the epicardia disembowels WAN if the headcheese does yield pepsinogen. sent18: that if the epicardia is subsequent and jihadi then the epicardia does not disembowel WAN is correct.
void -> assump1: Let's assume that the headcheese does yield pepsinogen.;
that the diviner is haptic but it does not yield pepsinogen is incorrect.
sent14 -> int1: if the diviner does not disembowel WAN then that it is haptic and does not yield pepsinogen is not right.; sent2 -> int2: if the diviner does not yield Grammatophyllum and does descry catheter then it does not disembowel WAN.;
$hypothesis$ = the epicardia does not disembowel WAN if the headcheese does yield pepsinogen. ; $context$ = sent1: if something does yield pepsinogen but it does not disembowel WAN it is subsequent. sent2: something does not disembowel WAN if it does not yield Grammatophyllum and it descries catheter. sent3: the headcheese does yield pepsinogen if it is not non-subsequent and not jihadi. sent4: a subsequent thing that is not jihadi does yield pepsinogen. sent5: the epicardia does not disembowel WAN if that the headcheese is subsequent but it is not jihadi is incorrect. sent6: the headcheese does disembowel WAN if the epicardia yields pepsinogen. sent7: if something that is not non-subsequent is jihadi then it does not yield pepsinogen. sent8: something that does wander and is a kind of a ethnographer is not a Hutchinson. sent9: the fact that the epicardia yields pepsinogen and it disembowels WAN is not right. sent10: the microtome does not disembowel WAN. sent11: the headcheese does not disembowel clairvoyant. sent12: if something is subsequent and is not jihadi it does disembowel WAN. sent13: if that the headcheese is jihadi hold that the epicardia does not disembowel WAN is not incorrect. sent14: if something does not disembowel WAN then the fact that it is haptic and it does not yield pepsinogen does not hold. sent15: the headcheese does not yield pepsinogen if it is subsequent and is jihadi. sent16: that the headcheese is both subsequent and jihadi does not hold. sent17: the epicardia disembowels WAN if the headcheese does yield pepsinogen. sent18: that if the epicardia is subsequent and jihadi then the epicardia does not disembowel WAN is correct. ; $proof$ = 
void -> assump1: Let's assume that the headcheese does yield pepsinogen.; __UNKNOWN__