the latchet is a kind of an octagon.
sent1: if the fact that there is something such that that it does not ice manfulness and ices shoeshine is incorrect is true then the fact that the latchet is a pretrial hold. sent2: something does not ice correction if the fact that it either does not ice Styrofoam or does ice Coke or both does not hold. sent3: if that something is multinucleate but it is not paranormal is not correct it is paranormal. sent4: the porkpie is not auxinic. sent5: if something is a Bolivar and does not ice silverware it is a kind of a Nazarene. sent6: something does not ice porkpie if that it is paranormal hold. sent7: the Orthoptera does ice correction and does not ice Coke. sent8: if the Orthoptera does not ice candyfloss that it is a kind of multinucleate thing that is not paranormal is not correct. sent9: there exists something such that the fact that it does ice manfulness and it ices shoeshine is wrong. sent10: the fact that the porkpie ices manfulness and it does ice shoeshine does not hold. sent11: the fact that something does not ice Styrofoam and/or ices Coke does not hold if it does not ice porkpie. sent12: something is not a kind of a spitball if the fact that it is a kind of a spitball and it is not a kind of an octagon is not true. sent13: if something is not auxinic that it does not ice manfulness and it ices shoeshine is not true. sent14: something is not a spitball if the fact that it is not auxinic and it is a kind of a spitball is not right. sent15: the latchet is not an octagon if the fact that the Orthoptera is both not auxinic and not a pretrial is false. sent16: if the Orthoptera ices correction and does not ice Coke it is not a pretrial. sent17: the fact that the Orthoptera does not ice candyfloss is correct if the boxwood is a Nazarene. sent18: there is something such that it does not ice quarterfinal and does bead agrapha. sent19: the fact that something ices manfulness and it does ice shoeshine does not hold if that it is non-auxinic is right. sent20: if the porkpie is not auxinic then that it ices manfulness and it does ice shoeshine is not correct. sent21: if the porkpie is an octagon that it does ice shoeshine is not false. sent22: that something is not auxinic and not a pretrial is wrong if it does not ice correction.
sent13 -> int1: if the porkpie is not auxinic then the fact that it does not ice manfulness and does ice shoeshine is false.; int1 & sent4 -> int2: the fact that the porkpie does not ice manfulness but it does ice shoeshine is wrong.; int2 -> int3: there exists something such that the fact that it does not ice manfulness and it does ice shoeshine is incorrect.; int3 & sent1 -> int4: the latchet is a pretrial.;
the latchet is not a kind of an octagon.
sent22 -> int5: the fact that the Orthoptera is not auxinic and it is not a pretrial is not correct if it does not ice correction.; sent2 -> int6: the Orthoptera does not ice correction if the fact that it does not ice Styrofoam and/or it does ice Coke is incorrect.; sent11 -> int7: the fact that the Orthoptera does not ice Styrofoam and/or it ices Coke is not true if it does not ice porkpie.; sent6 -> int8: the Orthoptera does not ice porkpie if it is paranormal.; sent3 -> int9: if the fact that the Orthoptera is not non-multinucleate but non-paranormal does not hold it is non-paranormal.; sent5 -> int10: that if the boxwood is the Bolivar and does not ice silverware then the boxwood is a Nazarene is not false.;
$hypothesis$ = the latchet is a kind of an octagon. ; $context$ = sent1: if the fact that there is something such that that it does not ice manfulness and ices shoeshine is incorrect is true then the fact that the latchet is a pretrial hold. sent2: something does not ice correction if the fact that it either does not ice Styrofoam or does ice Coke or both does not hold. sent3: if that something is multinucleate but it is not paranormal is not correct it is paranormal. sent4: the porkpie is not auxinic. sent5: if something is a Bolivar and does not ice silverware it is a kind of a Nazarene. sent6: something does not ice porkpie if that it is paranormal hold. sent7: the Orthoptera does ice correction and does not ice Coke. sent8: if the Orthoptera does not ice candyfloss that it is a kind of multinucleate thing that is not paranormal is not correct. sent9: there exists something such that the fact that it does ice manfulness and it ices shoeshine is wrong. sent10: the fact that the porkpie ices manfulness and it does ice shoeshine does not hold. sent11: the fact that something does not ice Styrofoam and/or ices Coke does not hold if it does not ice porkpie. sent12: something is not a kind of a spitball if the fact that it is a kind of a spitball and it is not a kind of an octagon is not true. sent13: if something is not auxinic that it does not ice manfulness and it ices shoeshine is not true. sent14: something is not a spitball if the fact that it is not auxinic and it is a kind of a spitball is not right. sent15: the latchet is not an octagon if the fact that the Orthoptera is both not auxinic and not a pretrial is false. sent16: if the Orthoptera ices correction and does not ice Coke it is not a pretrial. sent17: the fact that the Orthoptera does not ice candyfloss is correct if the boxwood is a Nazarene. sent18: there is something such that it does not ice quarterfinal and does bead agrapha. sent19: the fact that something ices manfulness and it does ice shoeshine does not hold if that it is non-auxinic is right. sent20: if the porkpie is not auxinic then that it ices manfulness and it does ice shoeshine is not correct. sent21: if the porkpie is an octagon that it does ice shoeshine is not false. sent22: that something is not auxinic and not a pretrial is wrong if it does not ice correction. ; $proof$ = 
sent13 -> int1: if the porkpie is not auxinic then the fact that it does not ice manfulness and does ice shoeshine is false.; int1 & sent4 -> int2: the fact that the porkpie does not ice manfulness but it does ice shoeshine is wrong.; int2 -> int3: there exists something such that the fact that it does not ice manfulness and it does ice shoeshine is incorrect.; int3 & sent1 -> int4: the latchet is a pretrial.; __UNKNOWN__