the skylight is not a kind of a dance.
sent1: if something that does not outshout splinter does not outshout skylight it dances. sent2: that the Weld is both not actinic and a kick is right. sent3: the skylight does not dance if the nigger is a Bluegrass but it is not a kind of a venography. sent4: if the goldenseal outshouts skylight then that the nigger is not a galax and it does not outshouts skylight is incorrect. sent5: if the fact that something is not a galax and it does not outshout skylight is incorrect it is not a kind of a venography. sent6: the fact that the Weld is not actinic but it does kick is not right if the goldenseal does not outshout splinter. sent7: something does not outshout splinter and does not outshout skylight if it is a galax. sent8: the skylight is actinic. sent9: the nigger is not a kind of a galax if it is a dance. sent10: that the nigger does not outshout skylight and is a venography does not hold if the goldenseal is not a kind of a Bluegrass. sent11: the nigger is a kind of a Bluegrass.
void -> assump1: Let's assume that the goldenseal does not outshout splinter.; sent6 & assump1 -> int1: that the Weld is not actinic but it does kick is incorrect.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the goldenseal outshouts splinter is not wrong.; sent5 -> int4: if the fact that that the nigger is not a kind of a galax and does not outshout skylight is not wrong is not correct then it is not a venography.;
the skylight does dance.
sent1 -> int5: if the skylight does not outshout splinter and does not outshout skylight that it is a dance is correct.; sent7 -> int6: the skylight does not outshout splinter and it does not outshout skylight if it is a galax.;
$hypothesis$ = the skylight is not a kind of a dance. ; $context$ = sent1: if something that does not outshout splinter does not outshout skylight it dances. sent2: that the Weld is both not actinic and a kick is right. sent3: the skylight does not dance if the nigger is a Bluegrass but it is not a kind of a venography. sent4: if the goldenseal outshouts skylight then that the nigger is not a galax and it does not outshouts skylight is incorrect. sent5: if the fact that something is not a galax and it does not outshout skylight is incorrect it is not a kind of a venography. sent6: the fact that the Weld is not actinic but it does kick is not right if the goldenseal does not outshout splinter. sent7: something does not outshout splinter and does not outshout skylight if it is a galax. sent8: the skylight is actinic. sent9: the nigger is not a kind of a galax if it is a dance. sent10: that the nigger does not outshout skylight and is a venography does not hold if the goldenseal is not a kind of a Bluegrass. sent11: the nigger is a kind of a Bluegrass. ; $proof$ = 
void -> assump1: Let's assume that the goldenseal does not outshout splinter.; sent6 & assump1 -> int1: that the Weld is not actinic but it does kick is incorrect.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the goldenseal outshouts splinter is not wrong.; sent5 -> int4: if the fact that that the nigger is not a kind of a galax and does not outshout skylight is not wrong is not correct then it is not a venography.; __UNKNOWN__