the fact that the fact that the yarder is not an activator and/or it is not awnless is not right if the Louisianan is a Testament is not correct.
sent1: something is not a Testament if the fact that it instructs bobsled is wrong. sent2: the yarder axes headdress if it is not an activator and/or is awnless. sent3: the yarder is a Testament but it does not ramble counterfire if the tracker does not axe vernix. sent4: the yarder is a kind of an activator. sent5: if the yarder axes headdress then the Louisianan does not instruct bobsled and it does not ramble counterfire. sent6: that the yarder axes headdress is not incorrect if it is not an activator or is not awnless or both. sent7: that the yarder either is not an activator or is awnless or both is not correct. sent8: the yarder is not awnless. sent9: something that is a Testament and does not ramble counterfire does not axe headdress. sent10: if the yarder is not an activator it does axe headdress.
void -> assump1: Let's assume that the yarder is not an activator and/or it is not awnless.; sent6 & assump1 -> int1: the yarder axes headdress.; int1 & sent5 -> int2: the Louisianan does not instruct bobsled and does not ramble counterfire.; int2 -> int3: the Louisianan does not instruct bobsled.; sent1 -> int4: if the Louisianan does not instruct bobsled then the fact that it is not a Testament is correct.; int3 & int4 -> int5: the Louisianan is not a kind of a Testament.; void -> assump2: Let's assume that the Louisianan is a Testament.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the yarder is not a kind of an activator and/or is not awnless does not hold.; [assump2] & int7 -> hypothesis;
the Louisianan is not a kind of an activator.
sent9 -> int8: the yarder does not axe headdress if it is a Testament and does not ramble counterfire.;
$hypothesis$ = the fact that the fact that the yarder is not an activator and/or it is not awnless is not right if the Louisianan is a Testament is not correct. ; $context$ = sent1: something is not a Testament if the fact that it instructs bobsled is wrong. sent2: the yarder axes headdress if it is not an activator and/or is awnless. sent3: the yarder is a Testament but it does not ramble counterfire if the tracker does not axe vernix. sent4: the yarder is a kind of an activator. sent5: if the yarder axes headdress then the Louisianan does not instruct bobsled and it does not ramble counterfire. sent6: that the yarder axes headdress is not incorrect if it is not an activator or is not awnless or both. sent7: that the yarder either is not an activator or is awnless or both is not correct. sent8: the yarder is not awnless. sent9: something that is a Testament and does not ramble counterfire does not axe headdress. sent10: if the yarder is not an activator it does axe headdress. ; $proof$ = 
void -> assump1: Let's assume that the yarder is not an activator and/or it is not awnless.; sent6 & assump1 -> int1: the yarder axes headdress.; int1 & sent5 -> int2: the Louisianan does not instruct bobsled and does not ramble counterfire.; int2 -> int3: the Louisianan does not instruct bobsled.; sent1 -> int4: if the Louisianan does not instruct bobsled then the fact that it is not a Testament is correct.; int3 & int4 -> int5: the Louisianan is not a kind of a Testament.; void -> assump2: Let's assume that the Louisianan is a Testament.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the yarder is not a kind of an activator and/or is not awnless does not hold.; [assump2] & int7 -> hypothesis; __DISPROVED__