the tot does not disconnect.
sent1: the fact that the tot is indiscreet if the contester is indiscreet but it is not a wave is correct. sent2: the tot does not disconnect if the fact that that the serum is a stringer and/or is not a kind of a coincidence is true is not true. sent3: if the fact that the contester is a steeplechase is not incorrect it is a kind of indiscreet thing that does not wave. sent4: something is landed if it is not aldehydic. sent5: if the fact that something does salt and does not expiate does not hold it is not a pascal. sent6: that if something is not a coincidence it is not indiscreet is right. sent7: the fact that that something is a stringer and does not disconnect is not false is wrong if it is not a coincidence. sent8: if something does not disconnect it is not indiscreet. sent9: if something is not a kind of a pascal then it is a kind of a steeplechase and it is ideological. sent10: if that the hydrofoil is non-ideological thing that is a pascal is false then it is a steeplechase. sent11: something does disconnect if that it is a stringer and it does not disconnect is not right. sent12: if the serum is not indiscreet then the fact that the contester is a wave and it is indiscreet is wrong. sent13: that the hydrofoil is not ideological but it is a pascal is wrong. sent14: if that the contester is a wave and indiscreet is not correct then the hydrofoil is not a steeplechase.
sent6 -> int1: if the serum is not a coincidence it is not indiscreet.; void -> assump1: Let's assume that the serum is a kind of a stringer and/or it is not a coincidence.; sent10 & sent13 -> int2: the hydrofoil is a steeplechase.;
the tot does disconnect.
sent11 -> int3: if that the tot is a stringer but it does not disconnect is not true the fact that it disconnect is right.; sent7 -> int4: that the tot is a stringer but it does not disconnect is not true if it is not a coincidence.; sent9 -> int5: the contester is both a steeplechase and ideological if it is not a kind of a pascal.; sent5 -> int6: the contester is not a kind of a pascal if the fact that it is a salt and does not expiate is not true.;
$hypothesis$ = the tot does not disconnect. ; $context$ = sent1: the fact that the tot is indiscreet if the contester is indiscreet but it is not a wave is correct. sent2: the tot does not disconnect if the fact that that the serum is a stringer and/or is not a kind of a coincidence is true is not true. sent3: if the fact that the contester is a steeplechase is not incorrect it is a kind of indiscreet thing that does not wave. sent4: something is landed if it is not aldehydic. sent5: if the fact that something does salt and does not expiate does not hold it is not a pascal. sent6: that if something is not a coincidence it is not indiscreet is right. sent7: the fact that that something is a stringer and does not disconnect is not false is wrong if it is not a coincidence. sent8: if something does not disconnect it is not indiscreet. sent9: if something is not a kind of a pascal then it is a kind of a steeplechase and it is ideological. sent10: if that the hydrofoil is non-ideological thing that is a pascal is false then it is a steeplechase. sent11: something does disconnect if that it is a stringer and it does not disconnect is not right. sent12: if the serum is not indiscreet then the fact that the contester is a wave and it is indiscreet is wrong. sent13: that the hydrofoil is not ideological but it is a pascal is wrong. sent14: if that the contester is a wave and indiscreet is not correct then the hydrofoil is not a steeplechase. ; $proof$ = 
sent6 -> int1: if the serum is not a coincidence it is not indiscreet.; void -> assump1: Let's assume that the serum is a kind of a stringer and/or it is not a coincidence.; sent10 & sent13 -> int2: the hydrofoil is a steeplechase.; __UNKNOWN__