the nitrazepam is an icing.
sent1: the tarpan is not a madness. sent2: if the fact that the nitrazepam is not a Carabidae and/or is a madness does not hold then it is a tape. sent3: if something is not a kind of a madness but it does exacerbate it is not an icing. sent4: something is a due if it is due and/or it is not a Carabidae. sent5: that that the nitrazepam either is not a kind of a tape or does measure webbing or both is true is not correct if the swinger does not measure webbing. sent6: the swinger is not a kind of a Correggio and exacerbates if there exists something such that it is not a kind of a madness. sent7: the saran is due. sent8: if something is due then the caramel is a due or it is not a Carabidae or both. sent9: something is an icing if the fact that it does not tape and/or it does measure webbing does not hold.
sent1 -> int1: there is something such that it is not a madness.; int1 & sent6 -> int2: the swinger is not a kind of a Correggio but it exacerbates.; int2 -> int3: that the swinger does exacerbate hold.; void -> assump1: Let's assume that the swinger measures webbing.; int3 & assump1 -> int4: the swinger does exacerbate and it does measure webbing.; sent4 -> int5: the caramel is due if either it is a due or it is not a Carabidae or both.; sent7 -> int6: there exists something such that it is due.; int6 & sent8 -> int7: the caramel is due or not a Carabidae or both.; int5 & int7 -> int8: the caramel is due.; sent9 -> int9: if that the nitrazepam does not tape or it measures webbing or both is not true then it is a kind of an icing.;
the nitrazepam does not ice.
sent3 -> int10: if the nitrazepam is not a madness but it does exacerbate it is not a kind of an icing.;
$hypothesis$ = the nitrazepam is an icing. ; $context$ = sent1: the tarpan is not a madness. sent2: if the fact that the nitrazepam is not a Carabidae and/or is a madness does not hold then it is a tape. sent3: if something is not a kind of a madness but it does exacerbate it is not an icing. sent4: something is a due if it is due and/or it is not a Carabidae. sent5: that that the nitrazepam either is not a kind of a tape or does measure webbing or both is true is not correct if the swinger does not measure webbing. sent6: the swinger is not a kind of a Correggio and exacerbates if there exists something such that it is not a kind of a madness. sent7: the saran is due. sent8: if something is due then the caramel is a due or it is not a Carabidae or both. sent9: something is an icing if the fact that it does not tape and/or it does measure webbing does not hold. ; $proof$ = 
sent1 -> int1: there is something such that it is not a madness.; int1 & sent6 -> int2: the swinger is not a kind of a Correggio but it exacerbates.; int2 -> int3: that the swinger does exacerbate hold.; void -> assump1: Let's assume that the swinger measures webbing.; int3 & assump1 -> int4: the swinger does exacerbate and it does measure webbing.; sent4 -> int5: the caramel is due if either it is a due or it is not a Carabidae or both.; sent7 -> int6: there exists something such that it is due.; int6 & sent8 -> int7: the caramel is due or not a Carabidae or both.; int5 & int7 -> int8: the caramel is due.; sent9 -> int9: if that the nitrazepam does not tape or it measures webbing or both is not true then it is a kind of an icing.; __UNKNOWN__