the fact that the Nauruan is a toolbox if the amorpha purifies Hegira and is not a kind of a Mustelus is not right.
sent1: if the Nauruan is a toolbox that is not a Mustelus then the amorpha purifies cottonwood. sent2: the Nauruan purifies Hegira. sent3: if the amorpha does purify cottonwood then it does purify Hegira. sent4: if the amorpha is a toolbox and does not purify cottonwood then the Nauruan is a kind of a Mustelus. sent5: that the Nauruan is a kind of a toolbox is right if that the amorpha does purify cottonwood and is not a kind of a Mustelus hold. sent6: the Nauruan does purify cottonwood if the amorpha purifies Hegira and is not a kind of a Mustelus. sent7: if something does purify cottonwood then it is a toolbox.
void -> assump1: Let's assume that the amorpha purifies Hegira but it is not a kind of a Mustelus.; sent6 & assump1 -> int1: that the Nauruan does purify cottonwood is correct.; sent7 -> int2: that the Nauruan is a kind of a toolbox is not incorrect if it purifies cottonwood.; int1 & int2 -> int3: the Nauruan is a kind of a toolbox.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the Nauruan is a toolbox if the amorpha purifies Hegira and is not a kind of a Mustelus is not right. ; $context$ = sent1: if the Nauruan is a toolbox that is not a Mustelus then the amorpha purifies cottonwood. sent2: the Nauruan purifies Hegira. sent3: if the amorpha does purify cottonwood then it does purify Hegira. sent4: if the amorpha is a toolbox and does not purify cottonwood then the Nauruan is a kind of a Mustelus. sent5: that the Nauruan is a kind of a toolbox is right if that the amorpha does purify cottonwood and is not a kind of a Mustelus hold. sent6: the Nauruan does purify cottonwood if the amorpha purifies Hegira and is not a kind of a Mustelus. sent7: if something does purify cottonwood then it is a toolbox. ; $proof$ = 
void -> assump1: Let's assume that the amorpha purifies Hegira but it is not a kind of a Mustelus.; sent6 & assump1 -> int1: that the Nauruan does purify cottonwood is correct.; sent7 -> int2: that the Nauruan is a kind of a toolbox is not incorrect if it purifies cottonwood.; int1 & int2 -> int3: the Nauruan is a kind of a toolbox.; [assump1] & int3 -> hypothesis; __DISPROVED__