the emitter is not phocine and it does not keratinize myxovirus.
sent1: that the incompetent is not a hypertensive and is not a communalism does not hold if the ununbium is campanulate. sent2: the emitter does glug or keratinizes myxovirus or both. sent3: the fact that the ununbium is a kind of a hypertensive is right. sent4: the emitter is not a hypsometer. sent5: the ununbium does keratinize myxovirus and is a hypertensive. sent6: the incompetent keratinizes longwool. sent7: if that the scauper is a Hall is right the ununbium keratinizes scauper. sent8: if the emitter is phocine the incompetent is not phocine. sent9: the fact that the emitter is not a kind of a communalism and/or it is not a hypertensive is not right if the incompetent is campanulate. sent10: if the incompetent either is a kind of a communalism or keratinizes myxovirus or both then the ununbium does not glug. sent11: the ununbium is not a communalism if the emitter keratinizes myxovirus or it is a hypertensive or both. sent12: if something does not glug that that it is not phocine and it does not keratinize myxovirus is correct is false. sent13: the emitter does not keratinize myxovirus if the ununbium keratinize myxovirus. sent14: the incompetent glugs. sent15: that something does not glug is not wrong if the fact that it is not a communalism or is not a kind of a hypertensive or both does not hold. sent16: the emitter does not glug if that the incompetent is not hypertensive and it is not a communalism is wrong. sent17: if the ununbium does keratinize scauper then the incompetent is campanulate but it does not dunk lanthanum. sent18: the incompetent glugs and/or keratinizes myxovirus. sent19: the emitter is not phocine if the incompetent glugs and/or it is a communalism. sent20: if the incompetent is a kind of a communalism then the emitter is not phocine. sent21: the sadist is a communalism and it does ejaculate. sent22: the bean is phocine.
sent14 -> int1: the incompetent glugs or it is a communalism or both.; int1 & sent19 -> int2: the emitter is not phocine.; sent5 -> int3: the ununbium does keratinize myxovirus.; sent13 & int3 -> int4: the emitter does not keratinize myxovirus.; int2 & int4 -> hypothesis;
that the emitter is non-phocine thing that does not keratinize myxovirus does not hold.
sent12 -> int5: that that the emitter is not phocine and it does not keratinize myxovirus is not false is incorrect if it does not glug.; sent15 -> int6: if the fact that the emitter either is not a communalism or is not a kind of a hypertensive or both is false then it does not glug.;
$hypothesis$ = the emitter is not phocine and it does not keratinize myxovirus. ; $context$ = sent1: that the incompetent is not a hypertensive and is not a communalism does not hold if the ununbium is campanulate. sent2: the emitter does glug or keratinizes myxovirus or both. sent3: the fact that the ununbium is a kind of a hypertensive is right. sent4: the emitter is not a hypsometer. sent5: the ununbium does keratinize myxovirus and is a hypertensive. sent6: the incompetent keratinizes longwool. sent7: if that the scauper is a Hall is right the ununbium keratinizes scauper. sent8: if the emitter is phocine the incompetent is not phocine. sent9: the fact that the emitter is not a kind of a communalism and/or it is not a hypertensive is not right if the incompetent is campanulate. sent10: if the incompetent either is a kind of a communalism or keratinizes myxovirus or both then the ununbium does not glug. sent11: the ununbium is not a communalism if the emitter keratinizes myxovirus or it is a hypertensive or both. sent12: if something does not glug that that it is not phocine and it does not keratinize myxovirus is correct is false. sent13: the emitter does not keratinize myxovirus if the ununbium keratinize myxovirus. sent14: the incompetent glugs. sent15: that something does not glug is not wrong if the fact that it is not a communalism or is not a kind of a hypertensive or both does not hold. sent16: the emitter does not glug if that the incompetent is not hypertensive and it is not a communalism is wrong. sent17: if the ununbium does keratinize scauper then the incompetent is campanulate but it does not dunk lanthanum. sent18: the incompetent glugs and/or keratinizes myxovirus. sent19: the emitter is not phocine if the incompetent glugs and/or it is a communalism. sent20: if the incompetent is a kind of a communalism then the emitter is not phocine. sent21: the sadist is a communalism and it does ejaculate. sent22: the bean is phocine. ; $proof$ = 
sent14 -> int1: the incompetent glugs or it is a communalism or both.; int1 & sent19 -> int2: the emitter is not phocine.; sent5 -> int3: the ununbium does keratinize myxovirus.; sent13 & int3 -> int4: the emitter does not keratinize myxovirus.; int2 & int4 -> hypothesis; __PROVED__