that the guitarist is not a boards and not an alabaster does not hold.
sent1: the Vogul does not glower and is not a Earth if it is not a refuge. sent2: that the moorhen is not an alabaster but it does maintain marten is not correct. sent3: if the screener is onomastic then it is heathlike and/or it is non-absolutist. sent4: if something is not psychogenetic it is aeromedical and it does maintain marten. sent5: a Togolese thing is a spell-checker. sent6: there is something such that it is not contralateral and it is a manned. sent7: the fact that something is not a kind of a spell-checker and it is not a Togolese is not right if it is not a wetland. sent8: something that is not unfair is non-contralateral and is a pesticide. sent9: the Vogul is not a refuge if the fairground does grow and is not a refuge. sent10: the fairground is not heathlike if the screener is heathlike. sent11: the screener is not non-onomastic. sent12: the fact that something is not a Togolese and/or it is not a spell-checker is not right if it is not a kind of a wetland. sent13: the fairground is a kind of an alabaster if the Vogul maintains marten. sent14: if a spell-checker is a wetland the Vogul does maintain marten. sent15: everything is non-aeromedical. sent16: if the fairground is an alabaster then the fact that the guitarist is not a boards and not an alabaster is not right. sent17: the fact that the muralist is unfair is not false if something that is not contralateral is a manned. sent18: if something is unfair the fact that it is not a kind of a boards and is not an alabaster is not incorrect. sent19: everything is non-aeromedical and it is a kind of a wetland. sent20: if the screener is not a kind of an absolutist the fairground is not heathlike. sent21: if the muralist is unfair then the moorhen is not non-Togolese. sent22: if something is not heathlike it grows and it is not a refuge.
sent6 & sent17 -> int1: the muralist is unfair.; int1 & sent21 -> int2: the moorhen is a Togolese.; sent5 -> int3: if the moorhen is Togolese it is a spell-checker.; int2 & int3 -> int4: the moorhen is a spell-checker.; sent19 -> int5: the moorhen is a kind of non-aeromedical a wetland.; int5 -> int6: the moorhen is a wetland.; int4 & int6 -> int7: the moorhen is a spell-checker and it is a wetland.; int7 -> int8: there exists something such that it is a spell-checker and it is a wetland.; int8 & sent14 -> int9: the Vogul does maintain marten.; int9 & sent13 -> int10: the fairground is an alabaster.; int10 & sent16 -> hypothesis;
the exegete is not contralateral but a pesticide.
sent8 -> int11: the exegete is not contralateral but it is a pesticide if it is not unfair.; sent7 -> int12: the fact that the muralist is not a spell-checker and is not Togolese is not true if it is not a kind of a wetland.; sent2 -> int13: there is something such that the fact that it is not an alabaster and it does maintain marten is not right.;
$hypothesis$ = that the guitarist is not a boards and not an alabaster does not hold. ; $context$ = sent1: the Vogul does not glower and is not a Earth if it is not a refuge. sent2: that the moorhen is not an alabaster but it does maintain marten is not correct. sent3: if the screener is onomastic then it is heathlike and/or it is non-absolutist. sent4: if something is not psychogenetic it is aeromedical and it does maintain marten. sent5: a Togolese thing is a spell-checker. sent6: there is something such that it is not contralateral and it is a manned. sent7: the fact that something is not a kind of a spell-checker and it is not a Togolese is not right if it is not a wetland. sent8: something that is not unfair is non-contralateral and is a pesticide. sent9: the Vogul is not a refuge if the fairground does grow and is not a refuge. sent10: the fairground is not heathlike if the screener is heathlike. sent11: the screener is not non-onomastic. sent12: the fact that something is not a Togolese and/or it is not a spell-checker is not right if it is not a kind of a wetland. sent13: the fairground is a kind of an alabaster if the Vogul maintains marten. sent14: if a spell-checker is a wetland the Vogul does maintain marten. sent15: everything is non-aeromedical. sent16: if the fairground is an alabaster then the fact that the guitarist is not a boards and not an alabaster is not right. sent17: the fact that the muralist is unfair is not false if something that is not contralateral is a manned. sent18: if something is unfair the fact that it is not a kind of a boards and is not an alabaster is not incorrect. sent19: everything is non-aeromedical and it is a kind of a wetland. sent20: if the screener is not a kind of an absolutist the fairground is not heathlike. sent21: if the muralist is unfair then the moorhen is not non-Togolese. sent22: if something is not heathlike it grows and it is not a refuge. ; $proof$ = 
sent6 & sent17 -> int1: the muralist is unfair.; int1 & sent21 -> int2: the moorhen is a Togolese.; sent5 -> int3: if the moorhen is Togolese it is a spell-checker.; int2 & int3 -> int4: the moorhen is a spell-checker.; sent19 -> int5: the moorhen is a kind of non-aeromedical a wetland.; int5 -> int6: the moorhen is a wetland.; int4 & int6 -> int7: the moorhen is a spell-checker and it is a wetland.; int7 -> int8: there exists something such that it is a spell-checker and it is a wetland.; int8 & sent14 -> int9: the Vogul does maintain marten.; int9 & sent13 -> int10: the fairground is an alabaster.; int10 & sent16 -> hypothesis; __PROVED__