the jiqui does not concern schlep.
sent1: the fact that the jiqui is not meaty but it is choragic does not hold if the nucleon is not choragic. sent2: the fact that the jiqui does not concern schlep if the fact that the jiqui is a kind of non-meaty thing that is choragic does not hold is true. sent3: the fact that the highlighter does not locate and it is not a oligodactyly is not correct if something is not a Gardiner. sent4: if the fact that the highlighter does not locate and it is not a oligodactyly does not hold the nucleon is non-choragic. sent5: the phonologist is a syntax and it does condole sixties if that something is not a Gibraltar is not false. sent6: if the phonologist is a syntax and it does condole sixties the launcher is not a Gardiner. sent7: that the launcher does not condole sixties but it is a Gardiner hold if the highlighter is a oligodactyly. sent8: there exists something such that it is a kind of a hydroelectricity. sent9: the phonologist is a syntax if there exists something such that it does not condole sixties. sent10: if something is a kind of a syntax it is not a Gibraltar and it is not a arborvitae. sent11: if something is a kind of a Gibraltar it concerns schlep. sent12: the fact that the jiqui does not concern schlep hold if it is meaty. sent13: that the highlighter is not a kind of a Gibraltar and it is not irremediable is not right. sent14: the masquerade is not a kind of a Gibraltar.
sent14 -> int1: there exists something such that it is not a Gibraltar.; int1 & sent5 -> int2: the phonologist is a syntax and condoles sixties.; int2 & sent6 -> int3: the launcher is not a Gardiner.; int3 -> int4: there is something such that it is not a Gardiner.; int4 & sent3 -> int5: the fact that the highlighter does not locate and is not a oligodactyly is not right.; int5 & sent4 -> int6: the nucleon is non-choragic.; int6 & sent1 -> int7: that the jiqui is not meaty but it is choragic is not true.; int7 & sent2 -> hypothesis;
the jiqui concerns schlep.
sent11 -> int8: the jiqui concerns schlep if it is a kind of a Gibraltar.;
$hypothesis$ = the jiqui does not concern schlep. ; $context$ = sent1: the fact that the jiqui is not meaty but it is choragic does not hold if the nucleon is not choragic. sent2: the fact that the jiqui does not concern schlep if the fact that the jiqui is a kind of non-meaty thing that is choragic does not hold is true. sent3: the fact that the highlighter does not locate and it is not a oligodactyly is not correct if something is not a Gardiner. sent4: if the fact that the highlighter does not locate and it is not a oligodactyly does not hold the nucleon is non-choragic. sent5: the phonologist is a syntax and it does condole sixties if that something is not a Gibraltar is not false. sent6: if the phonologist is a syntax and it does condole sixties the launcher is not a Gardiner. sent7: that the launcher does not condole sixties but it is a Gardiner hold if the highlighter is a oligodactyly. sent8: there exists something such that it is a kind of a hydroelectricity. sent9: the phonologist is a syntax if there exists something such that it does not condole sixties. sent10: if something is a kind of a syntax it is not a Gibraltar and it is not a arborvitae. sent11: if something is a kind of a Gibraltar it concerns schlep. sent12: the fact that the jiqui does not concern schlep hold if it is meaty. sent13: that the highlighter is not a kind of a Gibraltar and it is not irremediable is not right. sent14: the masquerade is not a kind of a Gibraltar. ; $proof$ = 
sent14 -> int1: there exists something such that it is not a Gibraltar.; int1 & sent5 -> int2: the phonologist is a syntax and condoles sixties.; int2 & sent6 -> int3: the launcher is not a Gardiner.; int3 -> int4: there is something such that it is not a Gardiner.; int4 & sent3 -> int5: the fact that the highlighter does not locate and is not a oligodactyly is not right.; int5 & sent4 -> int6: the nucleon is non-choragic.; int6 & sent1 -> int7: that the jiqui is not meaty but it is choragic is not true.; int7 & sent2 -> hypothesis; __PROVED__