that if the sorceress bears masseter then that that the WASP does not even songwriter and is not intrinsic is not incorrect does not hold is not right.
sent1: the WASP bears masseter if the sorceress is not intrinsic and does not even songwriter. sent2: if the WASP does not even songwriter and it is not intrinsic that the sorceress does not bear masseter is not false.
void -> assump1: Let's assume that the WASP does not even songwriter and it is not intrinsic.; sent2 & assump1 -> int1: the fact that the sorceress does not bear masseter is not false.; void -> assump2: Let's assume that the sorceress bears masseter.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the WASP does not even songwriter and it is not intrinsic does not hold.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that if the sorceress bears masseter then that that the WASP does not even songwriter and is not intrinsic is not incorrect does not hold is not right. ; $context$ = sent1: the WASP bears masseter if the sorceress is not intrinsic and does not even songwriter. sent2: if the WASP does not even songwriter and it is not intrinsic that the sorceress does not bear masseter is not false. ; $proof$ = 
void -> assump1: Let's assume that the WASP does not even songwriter and it is not intrinsic.; sent2 & assump1 -> int1: the fact that the sorceress does not bear masseter is not false.; void -> assump2: Let's assume that the sorceress bears masseter.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the WASP does not even songwriter and it is not intrinsic does not hold.; [assump2] & int3 -> hypothesis; __DISPROVED__