the animator is not a migraine.
sent1: something is a migraine if it is a kind of a catalectic. sent2: if there exists something such that it is not a kind of a catalectic that that the argentite is a kind of a hagiography and it does usher corer hold does not hold. sent3: if that the argentite is a hagiography that is a catalectic does not hold that the tailpipe does not usher corer hold. sent4: if the argentite does usher corer then the animator is a catalectic. sent5: the fact that the argentite ushers corer is not wrong if the muskrat does ushers corer. sent6: the muskrat does usher corer if the cardboard is a hagiography. sent7: the animator is not a kind of a hagiography. sent8: something does box and is not a shelduck if the fact that it is a bombardment hold. sent9: the heliopause is an override and it is a kind of a bombardment if it is not a solicitor. sent10: something that does not box is a damages that is a hagiography. sent11: the tailpipe does not usher corer. sent12: that the tailpipe is not catalectic is right. sent13: if the fact that the argentite is a migraine and it does usher corer is incorrect then the animator is not a catalectic. sent14: the cardboard does not box if the heliopause is a kind of a box but it is not a kind of a shelduck.
sent12 -> int1: something is not catalectic.; int1 & sent2 -> int2: the fact that the argentite is a hagiography and it does usher corer is not correct.;
the animator is a migraine.
sent1 -> int3: the animator is a migraine if it is a catalectic.; sent10 -> int4: if the cardboard is not a boxed it is a damages and it is a kind of a hagiography.; sent8 -> int5: if the heliopause is a bombardment then it is a boxed and it is not a shelduck.;
$hypothesis$ = the animator is not a migraine. ; $context$ = sent1: something is a migraine if it is a kind of a catalectic. sent2: if there exists something such that it is not a kind of a catalectic that that the argentite is a kind of a hagiography and it does usher corer hold does not hold. sent3: if that the argentite is a hagiography that is a catalectic does not hold that the tailpipe does not usher corer hold. sent4: if the argentite does usher corer then the animator is a catalectic. sent5: the fact that the argentite ushers corer is not wrong if the muskrat does ushers corer. sent6: the muskrat does usher corer if the cardboard is a hagiography. sent7: the animator is not a kind of a hagiography. sent8: something does box and is not a shelduck if the fact that it is a bombardment hold. sent9: the heliopause is an override and it is a kind of a bombardment if it is not a solicitor. sent10: something that does not box is a damages that is a hagiography. sent11: the tailpipe does not usher corer. sent12: that the tailpipe is not catalectic is right. sent13: if the fact that the argentite is a migraine and it does usher corer is incorrect then the animator is not a catalectic. sent14: the cardboard does not box if the heliopause is a kind of a box but it is not a kind of a shelduck. ; $proof$ = 
sent12 -> int1: something is not catalectic.; int1 & sent2 -> int2: the fact that the argentite is a hagiography and it does usher corer is not correct.; __UNKNOWN__