the ex-husband is not Anglophilic and/or it is not a coeducation.
sent1: the tableware is not Anglophilic if something supples paramyxovirus and is not a ABM. sent2: if the ex-husband is Anglophilic the tableware does not supple paramyxovirus. sent3: the flounce is not a ABM but it is a kind of an annuity. sent4: if something is a ABM then that it either is not Anglophilic or is not a kind of a coeducation or both is incorrect. sent5: there is something such that it supples paramyxovirus. sent6: either the basic is not wintry or it is not an ayatollah or both if the gomphothere is not wintry. sent7: the fact that the portal is wintry but it is not a papoose is false. sent8: the ex-husband is not Anglophilic or is not a kind of a coeducation or both if the tableware is not Anglophilic. sent9: the basic is not wintry if that the gomphothere is both not an ayatollah and an annuity is incorrect. sent10: the flounce is not a ABM. sent11: if the fact that the portal is a kind of wintry thing that is not a papoose does not hold then the basic is wintry. sent12: the ex-husband is not wintry if there is something such that it is a coeducation and non-Anglophilic. sent13: the ex-husband is not Anglophilic and/or is a kind of a coeducation. sent14: if the gomphothere is not a kind of an ayatollah but it is an annuity the waders is a kind of a ABM.
void -> assump1: Let's assume that the fact that the gomphothere is not a kind of an ayatollah but it is an annuity is not right.; sent9 & assump1 -> int1: the basic is not wintry.; sent11 & sent7 -> int2: the basic is wintry.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gomphothere is both not an ayatollah and an annuity.; int4 & sent14 -> int5: the waders is a ABM.;
that the ex-husband is not Anglophilic or it is not a coeducation or both does not hold.
sent4 -> int6: that the ex-husband is not Anglophilic or is not a coeducation or both is not true if it is a kind of a ABM.;
$hypothesis$ = the ex-husband is not Anglophilic and/or it is not a coeducation. ; $context$ = sent1: the tableware is not Anglophilic if something supples paramyxovirus and is not a ABM. sent2: if the ex-husband is Anglophilic the tableware does not supple paramyxovirus. sent3: the flounce is not a ABM but it is a kind of an annuity. sent4: if something is a ABM then that it either is not Anglophilic or is not a kind of a coeducation or both is incorrect. sent5: there is something such that it supples paramyxovirus. sent6: either the basic is not wintry or it is not an ayatollah or both if the gomphothere is not wintry. sent7: the fact that the portal is wintry but it is not a papoose is false. sent8: the ex-husband is not Anglophilic or is not a kind of a coeducation or both if the tableware is not Anglophilic. sent9: the basic is not wintry if that the gomphothere is both not an ayatollah and an annuity is incorrect. sent10: the flounce is not a ABM. sent11: if the fact that the portal is a kind of wintry thing that is not a papoose does not hold then the basic is wintry. sent12: the ex-husband is not wintry if there is something such that it is a coeducation and non-Anglophilic. sent13: the ex-husband is not Anglophilic and/or is a kind of a coeducation. sent14: if the gomphothere is not a kind of an ayatollah but it is an annuity the waders is a kind of a ABM. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gomphothere is not a kind of an ayatollah but it is an annuity is not right.; sent9 & assump1 -> int1: the basic is not wintry.; sent11 & sent7 -> int2: the basic is wintry.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gomphothere is both not an ayatollah and an annuity.; int4 & sent14 -> int5: the waders is a ABM.; __UNKNOWN__