the displacement does not wrap mulligatawny but it is far.
sent1: the diphenhydramine does not wrap penicillinase if the fact that the dicamptodon does not rage moonshell and is transoceanic does not hold. sent2: something is not far but it wraps mulligatawny if it is hircine. sent3: if the dicamptodon rages moonshell and is not non-transoceanic that it does not wrap walloper is not wrong. sent4: if the dicamptodon does not wrap walloper the displacement does not wrap mulligatawny but it is far. sent5: the dicamptodon is not far if the diphenhydramine is not far and does wrap mulligatawny. sent6: the diphenhydramine wraps penicillinase if the escalator is not a mulloway but it is hircine. sent7: that the eminence assents and is Sikh is wrong if something does not hunger occupancy. sent8: if the displacement is an equatorial then the fact that it does not wrap penicillinase and it wraps walloper does not hold. sent9: if that the eminence is an assent and it is a Sikh does not hold then it is not a Sikh. sent10: something does not hunger occupancy. sent11: something does not wrap walloper if it rages moonshell and is transoceanic. sent12: if something is not a Sikh it is a kind of an equatorial that is Muslim. sent13: if the eminence is an equatorial the displacement is an equatorial. sent14: the diphenhydramine is hircine if the bagman is a mulloway. sent15: the escalator is both not a mulloway and hircine. sent16: if something does not rage moonshell but it is transoceanic then it does not wrap walloper. sent17: the escalator is not a compensation if there is something such that that it does not wrap penicillinase and it does wrap walloper is false. sent18: the escalator is a mariticide if the dicamptodon is not far.
void -> assump1: Let's assume that that the dicamptodon does not rage moonshell but it is transoceanic does not hold.; sent1 & assump1 -> int1: that the diphenhydramine does not wrap penicillinase is not incorrect.; sent6 & sent15 -> int2: the diphenhydramine wraps penicillinase.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the dicamptodon does not rage moonshell but it is transoceanic is true.; sent16 -> int5: if the dicamptodon does not rage moonshell and is transoceanic then it does not wrap walloper.; int4 & int5 -> int6: the dicamptodon does not wrap walloper.; int6 & sent4 -> hypothesis;
the escalator is not a kind of a compensation and is a kind of a mariticide.
sent12 -> int7: if that the eminence is not a Sikh hold then it is not non-equatorial but Muslim.; sent10 & sent7 -> int8: the fact that the eminence does assent and it is a Sikh is not correct.; sent9 & int8 -> int9: the eminence is not a kind of a Sikh.; int7 & int9 -> int10: the eminence is equatorial and it is a Muslim.; int10 -> int11: the eminence is an equatorial.; sent13 & int11 -> int12: the displacement is an equatorial.; sent8 & int12 -> int13: that the displacement does not wrap penicillinase and does wrap walloper is not right.; int13 -> int14: there is something such that the fact that it does not wrap penicillinase and it wraps walloper is false.; int14 & sent17 -> int15: the escalator is not a compensation.; sent2 -> int16: the diphenhydramine is not far but it wraps mulligatawny if it is hircine.;
$hypothesis$ = the displacement does not wrap mulligatawny but it is far. ; $context$ = sent1: the diphenhydramine does not wrap penicillinase if the fact that the dicamptodon does not rage moonshell and is transoceanic does not hold. sent2: something is not far but it wraps mulligatawny if it is hircine. sent3: if the dicamptodon rages moonshell and is not non-transoceanic that it does not wrap walloper is not wrong. sent4: if the dicamptodon does not wrap walloper the displacement does not wrap mulligatawny but it is far. sent5: the dicamptodon is not far if the diphenhydramine is not far and does wrap mulligatawny. sent6: the diphenhydramine wraps penicillinase if the escalator is not a mulloway but it is hircine. sent7: that the eminence assents and is Sikh is wrong if something does not hunger occupancy. sent8: if the displacement is an equatorial then the fact that it does not wrap penicillinase and it wraps walloper does not hold. sent9: if that the eminence is an assent and it is a Sikh does not hold then it is not a Sikh. sent10: something does not hunger occupancy. sent11: something does not wrap walloper if it rages moonshell and is transoceanic. sent12: if something is not a Sikh it is a kind of an equatorial that is Muslim. sent13: if the eminence is an equatorial the displacement is an equatorial. sent14: the diphenhydramine is hircine if the bagman is a mulloway. sent15: the escalator is both not a mulloway and hircine. sent16: if something does not rage moonshell but it is transoceanic then it does not wrap walloper. sent17: the escalator is not a compensation if there is something such that that it does not wrap penicillinase and it does wrap walloper is false. sent18: the escalator is a mariticide if the dicamptodon is not far. ; $proof$ = 
void -> assump1: Let's assume that that the dicamptodon does not rage moonshell but it is transoceanic does not hold.; sent1 & assump1 -> int1: that the diphenhydramine does not wrap penicillinase is not incorrect.; sent6 & sent15 -> int2: the diphenhydramine wraps penicillinase.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the dicamptodon does not rage moonshell but it is transoceanic is true.; sent16 -> int5: if the dicamptodon does not rage moonshell and is transoceanic then it does not wrap walloper.; int4 & int5 -> int6: the dicamptodon does not wrap walloper.; int6 & sent4 -> hypothesis; __PROVED__