the opening is intelligent and it is a tux.
sent1: the hobnail is not a kind of an ape and it is not congruent. sent2: the fact that the opening is intelligent if the opening is a kind of a preteen is not false. sent3: the hobnail does not ape. sent4: the serape is not a kind of a preteen. sent5: a butcherbird that is a kind of a Pneumovax is not congruent. sent6: the serape is not a kind of a preteen and props harmattan if it does not moor drupe. sent7: if that the pout does bowl sect is not wrong then the oscillation butchers. sent8: if the gaff is a butcherbird the opening bowls sect. sent9: something is not a kind of a tux and/or it does bowl sect if it is not intelligent. sent10: that there exists something such that it is a preteen is not wrong. sent11: that the oscillation is a kind of a Pneumovax is true. sent12: the railing is not a tender but an estate if the hobnail is not an ape. sent13: something is a kind of a tux if it does bowl sect. sent14: the oscillation is congressional if the hobnail is a tender. sent15: if something is non-congressional then that it is tender thing that is congruent is not right. sent16: the gaff is a butcherbird if the pout is a Pneumovax. sent17: the opening is a preteen if the serape is a kind of a preteen and props harmattan. sent18: the hobnail is not an ape if there exists something such that that it is non-congressional thing that is an ape is not true. sent19: if something is a preteen that the pout is not intelligent is not incorrect. sent20: if something is not congruent it is tender. sent21: if the serape does not moor drupe the fact that it is not a preteen is not incorrect. sent22: if the serape is not a preteen but it props harmattan then the opening is a preteen. sent23: the serape does not moor drupe. sent24: The drupe does not moor serape. sent25: that something is both intelligent and a tux does not hold if it is not an ape. sent26: if something is not congruent then that it is not congressional and it apes is not right.
sent1 -> int1: the hobnail is not congruent.; sent20 -> int2: if the hobnail is not congruent it is a tender.; int1 & int2 -> int3: the hobnail does tender.; int3 & sent14 -> int4: the oscillation is congressional.; sent13 -> int5: if the opening bowls sect it is a kind of a tux.; sent6 & sent23 -> int6: the serape is not a preteen and does prop harmattan.; sent22 & int6 -> int7: the opening is a preteen.; sent2 & int7 -> int8: the opening is intelligent.;
that the opening is intelligent and a tux is incorrect.
sent25 -> int9: that the opening is intelligent and it is a kind of a tux does not hold if the fact that it is not an ape is right.; sent15 -> int10: the fact that the hobnail tenders and it is congruent is not correct if it is not congressional.;
$hypothesis$ = the opening is intelligent and it is a tux. ; $context$ = sent1: the hobnail is not a kind of an ape and it is not congruent. sent2: the fact that the opening is intelligent if the opening is a kind of a preteen is not false. sent3: the hobnail does not ape. sent4: the serape is not a kind of a preteen. sent5: a butcherbird that is a kind of a Pneumovax is not congruent. sent6: the serape is not a kind of a preteen and props harmattan if it does not moor drupe. sent7: if that the pout does bowl sect is not wrong then the oscillation butchers. sent8: if the gaff is a butcherbird the opening bowls sect. sent9: something is not a kind of a tux and/or it does bowl sect if it is not intelligent. sent10: that there exists something such that it is a preteen is not wrong. sent11: that the oscillation is a kind of a Pneumovax is true. sent12: the railing is not a tender but an estate if the hobnail is not an ape. sent13: something is a kind of a tux if it does bowl sect. sent14: the oscillation is congressional if the hobnail is a tender. sent15: if something is non-congressional then that it is tender thing that is congruent is not right. sent16: the gaff is a butcherbird if the pout is a Pneumovax. sent17: the opening is a preteen if the serape is a kind of a preteen and props harmattan. sent18: the hobnail is not an ape if there exists something such that that it is non-congressional thing that is an ape is not true. sent19: if something is a preteen that the pout is not intelligent is not incorrect. sent20: if something is not congruent it is tender. sent21: if the serape does not moor drupe the fact that it is not a preteen is not incorrect. sent22: if the serape is not a preteen but it props harmattan then the opening is a preteen. sent23: the serape does not moor drupe. sent24: The drupe does not moor serape. sent25: that something is both intelligent and a tux does not hold if it is not an ape. sent26: if something is not congruent then that it is not congressional and it apes is not right. ; $proof$ = 
sent1 -> int1: the hobnail is not congruent.; sent20 -> int2: if the hobnail is not congruent it is a tender.; int1 & int2 -> int3: the hobnail does tender.; int3 & sent14 -> int4: the oscillation is congressional.; sent13 -> int5: if the opening bowls sect it is a kind of a tux.; sent6 & sent23 -> int6: the serape is not a preteen and does prop harmattan.; sent22 & int6 -> int7: the opening is a preteen.; sent2 & int7 -> int8: the opening is intelligent.; __UNKNOWN__