the promiser is not orthoptics.
sent1: something is not orthoptics if the fact that it is insubstantial and is not a nubbin does not hold. sent2: the gunboat either is aeronautical or does not withdraw or both. sent3: that something is a nubbin and it is a rune is not wrong if it is not an anna. sent4: if the euphonium is not a kind of a monoculture then it is glad and/or is not a kolkhoznik. sent5: the fact that the fauld is insubstantial and it images is false if there is something such that it is not a kind of a nubbin. sent6: if the euphonium is glad then the anil is not a kolkhoznik. sent7: the fact that that the euphonium is not the monoculture is correct if the euphonium does not withdraw is correct. sent8: the euphonium does not withdraw if the gunboat is aeronautical or it does not withdraw or both. sent9: if something is a nubbin then that it is not insubstantial or is not an image or both does not hold. sent10: something that is not a kind of a kolkhoznik does not snow rummage and is not collegial. sent11: the fauld is a Connolly if the anil is a Connolly. sent12: something is a Connolly if it does not snow rummage and it is not collegial. sent13: a Connolly is a kind of an anna that is not a genius. sent14: the anil is not a nubbin. sent15: there is something such that it is an image. sent16: if that the trifle is not insubstantial and/or it does not image is incorrect the promiser is orthoptics.
sent1 -> int1: if that the fact that the promiser is insubstantial and is not a kind of a nubbin is not wrong is incorrect it is not orthoptics.;
there is something such that the fact that it is a Pediculidae is right.
sent14 -> int2: something is not a nubbin.; int2 & sent5 -> int3: the fact that the fauld is both insubstantial and an image is not correct.; int3 -> int4: there is something such that the fact that it is both insubstantial and an image is not correct.;
$hypothesis$ = the promiser is not orthoptics. ; $context$ = sent1: something is not orthoptics if the fact that it is insubstantial and is not a nubbin does not hold. sent2: the gunboat either is aeronautical or does not withdraw or both. sent3: that something is a nubbin and it is a rune is not wrong if it is not an anna. sent4: if the euphonium is not a kind of a monoculture then it is glad and/or is not a kolkhoznik. sent5: the fact that the fauld is insubstantial and it images is false if there is something such that it is not a kind of a nubbin. sent6: if the euphonium is glad then the anil is not a kolkhoznik. sent7: the fact that that the euphonium is not the monoculture is correct if the euphonium does not withdraw is correct. sent8: the euphonium does not withdraw if the gunboat is aeronautical or it does not withdraw or both. sent9: if something is a nubbin then that it is not insubstantial or is not an image or both does not hold. sent10: something that is not a kind of a kolkhoznik does not snow rummage and is not collegial. sent11: the fauld is a Connolly if the anil is a Connolly. sent12: something is a Connolly if it does not snow rummage and it is not collegial. sent13: a Connolly is a kind of an anna that is not a genius. sent14: the anil is not a nubbin. sent15: there is something such that it is an image. sent16: if that the trifle is not insubstantial and/or it does not image is incorrect the promiser is orthoptics. ; $proof$ = 
sent1 -> int1: if that the fact that the promiser is insubstantial and is not a kind of a nubbin is not wrong is incorrect it is not orthoptics.; __UNKNOWN__