the ion is not a blackbuck and/or it is not sleeveless.
sent1: if the ion is not advisable then that the rendezvous blunts and it nettles sebum does not hold. sent2: if the Idahoan is not a blackbuck then that the ion is not a blackbuck but it is a kind of a few is not wrong. sent3: the ion is not noncurrent if the rendezvous is not noncurrent. sent4: that something either is not a kind of a blackbuck or is not sleeveless or both is not right if it does not nettle sebum. sent5: there exists something such that it does not nettle sebum. sent6: the Idahoan is not a blackbuck if there exists something such that that it is advisable and/or it is noncurrent does not hold. sent7: the fact that the rendezvous is advisable or is noncurrent or both is false if something does not nettle sebum.
sent5 & sent7 -> int1: that the rendezvous either is advisable or is noncurrent or both is false.; int1 -> int2: there exists something such that that it is advisable and/or it is noncurrent is incorrect.; int2 & sent6 -> int3: the Idahoan is not a blackbuck.; sent2 & int3 -> int4: the ion is not a blackbuck but few.; int4 -> int5: the ion is not a kind of a blackbuck.; int5 -> hypothesis;
the fact that the ion is not a blackbuck and/or it is not sleeveless does not hold.
sent4 -> int6: if the ion does not nettle sebum that it is not a kind of a blackbuck and/or is not sleeveless is not right.;
$hypothesis$ = the ion is not a blackbuck and/or it is not sleeveless. ; $context$ = sent1: if the ion is not advisable then that the rendezvous blunts and it nettles sebum does not hold. sent2: if the Idahoan is not a blackbuck then that the ion is not a blackbuck but it is a kind of a few is not wrong. sent3: the ion is not noncurrent if the rendezvous is not noncurrent. sent4: that something either is not a kind of a blackbuck or is not sleeveless or both is not right if it does not nettle sebum. sent5: there exists something such that it does not nettle sebum. sent6: the Idahoan is not a blackbuck if there exists something such that that it is advisable and/or it is noncurrent does not hold. sent7: the fact that the rendezvous is advisable or is noncurrent or both is false if something does not nettle sebum. ; $proof$ = 
sent5 & sent7 -> int1: that the rendezvous either is advisable or is noncurrent or both is false.; int1 -> int2: there exists something such that that it is advisable and/or it is noncurrent is incorrect.; int2 & sent6 -> int3: the Idahoan is not a blackbuck.; sent2 & int3 -> int4: the ion is not a blackbuck but few.; int4 -> int5: the ion is not a kind of a blackbuck.; int5 -> hypothesis; __PROVED__