the hypoglossal is a kind of a pelican.
sent1: the hypoglossal is a pelican if it does not digitize Villon. sent2: if there is something such that the fact that it does digitize Villon and does encourage is not right the fairlead does not encourage. sent3: the fact that that something is not anemophilous but it is masochistic is correct is not correct if it is not a kind of a pelican. sent4: something that is not an ethylene does encourage or is not a pelican or both. sent5: the hypoglossal does not digitize Villon if the fact that the stop is an ethylene but it is not masochistic does not hold. sent6: the wagonwright is not a kind of a pelican. sent7: that the stop is a kind of an ethylene but it is not masochistic is not right if the wagonwright is not an ethylene. sent8: if something is not masochistic that it digitizes Villon and it encourages is incorrect. sent9: the wagonwright is not an ethylene if it does not digitize swinger and is an empress. sent10: the wagonwright does not encourage if the fact that it does not digitize swinger and is an empress is not correct. sent11: the fact that the stop is a kind of an ethylene that is a kind of a pelican does not hold. sent12: something that either encourages or is not a kind of a pelican or both is not a pelican. sent13: the wagonwright does encourage. sent14: something is not masochistic if that it is both not anemophilous and masochistic is incorrect. sent15: that the hypoglossal does digitize Villon and is an ethylene does not hold. sent16: the wagonwright does not encourage if it does digitize swinger.
void -> assump1: Let's assume that the fact that the wagonwright does not digitize swinger but it is an empress is not correct.; sent10 & assump1 -> int1: the wagonwright does not encourage.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wagonwright does not digitize swinger and is an empress.; int3 & sent9 -> int4: the wagonwright is not a kind of an ethylene.; int4 & sent7 -> int5: the fact that the stop is a kind of an ethylene but it is not masochistic is wrong.; int5 & sent5 -> int6: the hypoglossal does not digitize Villon.; int6 & sent1 -> hypothesis;
the hypoglossal is not a kind of a pelican.
sent12 -> int7: if the hypoglossal encourages and/or it is not a pelican then it is not a pelican.; sent4 -> int8: either the hypoglossal encourages or it is not a kind of a pelican or both if it is not an ethylene.;
$hypothesis$ = the hypoglossal is a kind of a pelican. ; $context$ = sent1: the hypoglossal is a pelican if it does not digitize Villon. sent2: if there is something such that the fact that it does digitize Villon and does encourage is not right the fairlead does not encourage. sent3: the fact that that something is not anemophilous but it is masochistic is correct is not correct if it is not a kind of a pelican. sent4: something that is not an ethylene does encourage or is not a pelican or both. sent5: the hypoglossal does not digitize Villon if the fact that the stop is an ethylene but it is not masochistic does not hold. sent6: the wagonwright is not a kind of a pelican. sent7: that the stop is a kind of an ethylene but it is not masochistic is not right if the wagonwright is not an ethylene. sent8: if something is not masochistic that it digitizes Villon and it encourages is incorrect. sent9: the wagonwright is not an ethylene if it does not digitize swinger and is an empress. sent10: the wagonwright does not encourage if the fact that it does not digitize swinger and is an empress is not correct. sent11: the fact that the stop is a kind of an ethylene that is a kind of a pelican does not hold. sent12: something that either encourages or is not a kind of a pelican or both is not a pelican. sent13: the wagonwright does encourage. sent14: something is not masochistic if that it is both not anemophilous and masochistic is incorrect. sent15: that the hypoglossal does digitize Villon and is an ethylene does not hold. sent16: the wagonwright does not encourage if it does digitize swinger. ; $proof$ = 
void -> assump1: Let's assume that the fact that the wagonwright does not digitize swinger but it is an empress is not correct.; sent10 & assump1 -> int1: the wagonwright does not encourage.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wagonwright does not digitize swinger and is an empress.; int3 & sent9 -> int4: the wagonwright is not a kind of an ethylene.; int4 & sent7 -> int5: the fact that the stop is a kind of an ethylene but it is not masochistic is wrong.; int5 & sent5 -> int6: the hypoglossal does not digitize Villon.; int6 & sent1 -> hypothesis; __PROVED__