that if the bugbane does stab renewal the bock is filial is not true.
sent1: if the fact that the bock is non-filial thing that stabs renewal does not hold then the pasta stabs pasta. sent2: the hotbox stabs pasta. sent3: the pasta does not stab reincarnation if that it stabs pasta and is not radiolucent is not correct. sent4: the bock is not radiolucent if the fact that it stabs renewal and it is not filial does not hold. sent5: the fact that the suture does not stab reincarnation and gilds polarography is wrong if the pasta does not stab reincarnation. sent6: if the bugbane stabs renewal the fact that the pasta does stab pasta but it is not radiolucent is not right. sent7: the bock is filial if that the suture does not stab reincarnation and gilds polarography is not correct.
void -> assump1: Let's assume that the bugbane stabs renewal.; sent6 & assump1 -> int1: the fact that the pasta does stab pasta but it is not radiolucent is not true.; int1 & sent3 -> int2: that the pasta does not stab reincarnation is correct.; int2 & sent5 -> int3: that the suture does not stab reincarnation but it does gild polarography is wrong.; int3 & sent7 -> int4: the bock is filial.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the bugbane does stab renewal the bock is filial is not true. ; $context$ = sent1: if the fact that the bock is non-filial thing that stabs renewal does not hold then the pasta stabs pasta. sent2: the hotbox stabs pasta. sent3: the pasta does not stab reincarnation if that it stabs pasta and is not radiolucent is not correct. sent4: the bock is not radiolucent if the fact that it stabs renewal and it is not filial does not hold. sent5: the fact that the suture does not stab reincarnation and gilds polarography is wrong if the pasta does not stab reincarnation. sent6: if the bugbane stabs renewal the fact that the pasta does stab pasta but it is not radiolucent is not right. sent7: the bock is filial if that the suture does not stab reincarnation and gilds polarography is not correct. ; $proof$ = 
void -> assump1: Let's assume that the bugbane stabs renewal.; sent6 & assump1 -> int1: the fact that the pasta does stab pasta but it is not radiolucent is not true.; int1 & sent3 -> int2: that the pasta does not stab reincarnation is correct.; int2 & sent5 -> int3: that the suture does not stab reincarnation but it does gild polarography is wrong.; int3 & sent7 -> int4: the bock is filial.; [assump1] & int4 -> hypothesis; __DISPROVED__