the anemometer is both not a Southeast and migrational.
sent1: if something does not insufflate guaiac then the anemometer is not a Southeast and is migrational. sent2: the anemometer is migrational if something does not insufflate guaiac. sent3: The LLD drills drippings. sent4: the cusk-eel does not insufflate guaiac if the drippings is both sectional and a frisson. sent5: the drippings drills LLD. sent6: a characteristic is a frisson. sent7: that the drippings is a sectional is not incorrect if there exists something such that it does not totter. sent8: if the drippings does drill LLD then it is a kind of a characteristic. sent9: the cusk-eel does not drill LLD and/or it is not a kind of a characteristic. sent10: something is not migrational if that it is both a frisson and sectional is wrong. sent11: that that the virion does totter and it is irreverent is right does not hold. sent12: there exists something such that it insufflates guaiac. sent13: if there exists something such that that it does totter and is irreverent does not hold the drippings is a kind of a sectional. sent14: if the cusk-eel does not drill LLD it does insufflate guaiac.
sent11 -> int1: there is something such that the fact that it does totter and is not non-irreverent is wrong.; int1 & sent13 -> int2: the drippings is sectional.; sent6 -> int3: if the drippings is a characteristic then it is a frisson.; sent8 & sent5 -> int4: the drippings is a kind of a characteristic.; int3 & int4 -> int5: the drippings is a frisson.; int2 & int5 -> int6: the drippings is a sectional and it is a frisson.; int6 & sent4 -> int7: the cusk-eel does not insufflate guaiac.; int7 -> int8: there is something such that it does not insufflate guaiac.; int8 & sent1 -> hypothesis;
the fact that the anemometer is both not a Southeast and migrational is not true.
sent10 -> int9: if the fact that the drippings is a kind of a frisson and is a sectional is not correct then it is not migrational.;
$hypothesis$ = the anemometer is both not a Southeast and migrational. ; $context$ = sent1: if something does not insufflate guaiac then the anemometer is not a Southeast and is migrational. sent2: the anemometer is migrational if something does not insufflate guaiac. sent3: The LLD drills drippings. sent4: the cusk-eel does not insufflate guaiac if the drippings is both sectional and a frisson. sent5: the drippings drills LLD. sent6: a characteristic is a frisson. sent7: that the drippings is a sectional is not incorrect if there exists something such that it does not totter. sent8: if the drippings does drill LLD then it is a kind of a characteristic. sent9: the cusk-eel does not drill LLD and/or it is not a kind of a characteristic. sent10: something is not migrational if that it is both a frisson and sectional is wrong. sent11: that that the virion does totter and it is irreverent is right does not hold. sent12: there exists something such that it insufflates guaiac. sent13: if there exists something such that that it does totter and is irreverent does not hold the drippings is a kind of a sectional. sent14: if the cusk-eel does not drill LLD it does insufflate guaiac. ; $proof$ = 
sent11 -> int1: there is something such that the fact that it does totter and is not non-irreverent is wrong.; int1 & sent13 -> int2: the drippings is sectional.; sent6 -> int3: if the drippings is a characteristic then it is a frisson.; sent8 & sent5 -> int4: the drippings is a kind of a characteristic.; int3 & int4 -> int5: the drippings is a frisson.; int2 & int5 -> int6: the drippings is a sectional and it is a frisson.; int6 & sent4 -> int7: the cusk-eel does not insufflate guaiac.; int7 -> int8: there is something such that it does not insufflate guaiac.; int8 & sent1 -> hypothesis; __PROVED__