there is something such that if it is a rocambole then it is a kind of a Nerva.
sent1: the sailcloth is a kind of a rocambole if the fact that it is not a doughnut but a wrestling is not right. sent2: if something is a kind of a convocation then that it is not a kind of a countermarch and it snuffles gingerbread does not hold. sent3: if there is something such that the fact that it does not nail shrapnel and does not rally mover is false the ladybug does nail shrapnel. sent4: the rhubarb is not a Vireonidae. sent5: that the ladybug does rally Sufism is correct if there is something such that it is a kind of rhombic thing that does not snuffle modillion. sent6: the sailcloth is not a rocambole if the fact that it is not a kind of a doughnut and wrestles is not true. sent7: if the sailcloth does not nail shrapnel the fact that it is a Nerva is not false. sent8: the rhubarb is rhombic but it does not snuffle modillion if the magnetization is not a Vireonidae. sent9: if the sailcloth is a Tarantino then the fact that it does not presume and it is inshore is wrong. sent10: that the sailcloth is not a kind of a coeducation and nails L is false if it is a kind of a rocambole. sent11: if something is not a Vireonidae then it does not snuffle modillion and is not rhombic. sent12: if something that nails shrapnel is a rocambole that the tabun is a wrestling hold. sent13: if that something is joyful is true then that it is non-profane thing that is acaulescent is not right. sent14: something is a kind of a rocambole that is a kind of a Nerva if it does not rally Sufism. sent15: there exists something such that that it does not nail shrapnel and it does not rally mover is not right. sent16: if something does nail shrapnel the fact that it is not a doughnut and it is a wrestling does not hold. sent17: the fact that the sailcloth is both not a Nerva and a turtleneck does not hold. sent18: if the sailcloth is not a wrestling then it is not a rocambole. sent19: there is something such that if it is myotonic then it is a divergence. sent20: the sailcloth is not a Jat.
sent16 -> int1: if the sailcloth does nail shrapnel then that it is both not a doughnut and a wrestling is false.; void -> assump2: Let's assume that the sailcloth nails shrapnel.; int1 & assump2 -> int2: that the sailcloth is not a kind of a doughnut but it is a kind of a wrestling is false.; int2 & sent6 -> int3: the sailcloth is not a kind of a rocambole.; void -> assump1: Let's assume that the sailcloth is a rocambole.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the sailcloth does not nail shrapnel.; int5 & sent7 -> int6: the sailcloth is a Nerva.; [assump1] & int6 -> int7: the sailcloth is a Nerva if it is a rocambole.; int7 -> hypothesis;
the poisonberry does nail shrapnel.
$hypothesis$ = there is something such that if it is a rocambole then it is a kind of a Nerva. ; $context$ = sent1: the sailcloth is a kind of a rocambole if the fact that it is not a doughnut but a wrestling is not right. sent2: if something is a kind of a convocation then that it is not a kind of a countermarch and it snuffles gingerbread does not hold. sent3: if there is something such that the fact that it does not nail shrapnel and does not rally mover is false the ladybug does nail shrapnel. sent4: the rhubarb is not a Vireonidae. sent5: that the ladybug does rally Sufism is correct if there is something such that it is a kind of rhombic thing that does not snuffle modillion. sent6: the sailcloth is not a rocambole if the fact that it is not a kind of a doughnut and wrestles is not true. sent7: if the sailcloth does not nail shrapnel the fact that it is a Nerva is not false. sent8: the rhubarb is rhombic but it does not snuffle modillion if the magnetization is not a Vireonidae. sent9: if the sailcloth is a Tarantino then the fact that it does not presume and it is inshore is wrong. sent10: that the sailcloth is not a kind of a coeducation and nails L is false if it is a kind of a rocambole. sent11: if something is not a Vireonidae then it does not snuffle modillion and is not rhombic. sent12: if something that nails shrapnel is a rocambole that the tabun is a wrestling hold. sent13: if that something is joyful is true then that it is non-profane thing that is acaulescent is not right. sent14: something is a kind of a rocambole that is a kind of a Nerva if it does not rally Sufism. sent15: there exists something such that that it does not nail shrapnel and it does not rally mover is not right. sent16: if something does nail shrapnel the fact that it is not a doughnut and it is a wrestling does not hold. sent17: the fact that the sailcloth is both not a Nerva and a turtleneck does not hold. sent18: if the sailcloth is not a wrestling then it is not a rocambole. sent19: there is something such that if it is myotonic then it is a divergence. sent20: the sailcloth is not a Jat. ; $proof$ = 
sent16 -> int1: if the sailcloth does nail shrapnel then that it is both not a doughnut and a wrestling is false.; void -> assump2: Let's assume that the sailcloth nails shrapnel.; int1 & assump2 -> int2: that the sailcloth is not a kind of a doughnut but it is a kind of a wrestling is false.; int2 & sent6 -> int3: the sailcloth is not a kind of a rocambole.; void -> assump1: Let's assume that the sailcloth is a rocambole.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the sailcloth does not nail shrapnel.; int5 & sent7 -> int6: the sailcloth is a Nerva.; [assump1] & int6 -> int7: the sailcloth is a Nerva if it is a rocambole.; int7 -> hypothesis; __PROVED__