the taillight is not a kind of a patter.
sent1: the fact that that the proportion is karyokinetic but it is not a bowsprit is incorrect if that the ibex is not aboriginal is not incorrect is not wrong. sent2: there exists something such that it is a crow and considers NH. sent3: something does consider NH if it is not shutting. sent4: that the proportion is karyokinetic a bowsprit does not hold if that the ibex is not aboriginal is not wrong. sent5: if that the radium either does round or does not harshen bedstead or both is false then the have-not is not shutting. sent6: if something is not shutting then it is a patter and does consider NH. sent7: there is something such that that it does harshen bedstead and it does consider NH is false. sent8: the taillight does not patter if the proportion is a bowsprit. sent9: if something is not a catchphrase it is not aboriginal. sent10: that either the radium is a round or it does not harshen bedstead or both is not right. sent11: that the have-not harshens bedstead but it is not a crow is not right. sent12: the radium is not a kind of a round. sent13: the radium is not a bowsprit. sent14: if the radium is not karyokinetic then that it is not a round is not incorrect. sent15: if the have-not either is not shutting or is a catchphrase or both then the radium is not shutting. sent16: the fact that the proportion is karyokinetic and it is a bowsprit is not true. sent17: the fact that something is a kind of a crow that does consider NH is not true if it is not shutting. sent18: if that the proportion is a kind of karyokinetic thing that is not a bowsprit is not true then the taillight does not patter. sent19: the have-not is not a rubicelle. sent20: if that something does not consider NH is true the ibex is not a catchphrase. sent21: the ibex is not a catchphrase if there exists something such that that it is a kind of a crow that does consider NH is wrong.
sent5 & sent10 -> int1: the have-not is not shutting.; sent17 -> int2: that the have-not is a crow and considers NH does not hold if it is not shutting.; int1 & int2 -> int3: that the have-not is a kind of a crow that does consider NH is incorrect.; int3 -> int4: there exists something such that the fact that it crows and does consider NH does not hold.; int4 & sent21 -> int5: the ibex is not a kind of a catchphrase.; sent9 -> int6: the ibex is not aboriginal if it is not a kind of a catchphrase.; int5 & int6 -> int7: the fact that the ibex is not aboriginal is not incorrect.; int7 & sent1 -> int8: that the proportion is karyokinetic but it is not a kind of a bowsprit does not hold.; int8 & sent18 -> hypothesis;
the cobber is not aboriginal.
sent3 -> int9: the radium does consider NH if it is not shutting.;
$hypothesis$ = the taillight is not a kind of a patter. ; $context$ = sent1: the fact that that the proportion is karyokinetic but it is not a bowsprit is incorrect if that the ibex is not aboriginal is not incorrect is not wrong. sent2: there exists something such that it is a crow and considers NH. sent3: something does consider NH if it is not shutting. sent4: that the proportion is karyokinetic a bowsprit does not hold if that the ibex is not aboriginal is not wrong. sent5: if that the radium either does round or does not harshen bedstead or both is false then the have-not is not shutting. sent6: if something is not shutting then it is a patter and does consider NH. sent7: there is something such that that it does harshen bedstead and it does consider NH is false. sent8: the taillight does not patter if the proportion is a bowsprit. sent9: if something is not a catchphrase it is not aboriginal. sent10: that either the radium is a round or it does not harshen bedstead or both is not right. sent11: that the have-not harshens bedstead but it is not a crow is not right. sent12: the radium is not a kind of a round. sent13: the radium is not a bowsprit. sent14: if the radium is not karyokinetic then that it is not a round is not incorrect. sent15: if the have-not either is not shutting or is a catchphrase or both then the radium is not shutting. sent16: the fact that the proportion is karyokinetic and it is a bowsprit is not true. sent17: the fact that something is a kind of a crow that does consider NH is not true if it is not shutting. sent18: if that the proportion is a kind of karyokinetic thing that is not a bowsprit is not true then the taillight does not patter. sent19: the have-not is not a rubicelle. sent20: if that something does not consider NH is true the ibex is not a catchphrase. sent21: the ibex is not a catchphrase if there exists something such that that it is a kind of a crow that does consider NH is wrong. ; $proof$ = 
sent5 & sent10 -> int1: the have-not is not shutting.; sent17 -> int2: that the have-not is a crow and considers NH does not hold if it is not shutting.; int1 & int2 -> int3: that the have-not is a kind of a crow that does consider NH is incorrect.; int3 -> int4: there exists something such that the fact that it crows and does consider NH does not hold.; int4 & sent21 -> int5: the ibex is not a kind of a catchphrase.; sent9 -> int6: the ibex is not aboriginal if it is not a kind of a catchphrase.; int5 & int6 -> int7: the fact that the ibex is not aboriginal is not incorrect.; int7 & sent1 -> int8: that the proportion is karyokinetic but it is not a kind of a bowsprit does not hold.; int8 & sent18 -> hypothesis; __PROVED__