the fact that the assignee is both not the hire-purchase and econometric if that the assignee is not weightless is not incorrect does not hold.
sent1: if the assignee is not weightless it is not a hire-purchase. sent2: something is weightless if it does sponge. sent3: a non-apian thing is not a hire-purchase but econometric. sent4: that the fact that the assignee is a kind of a sponge that is not apian is false is not false. sent5: that something is weightless if the fact that it does not sponge and is not apian does not hold is not incorrect.
sent5 -> int1: the assignee is weightless if the fact that it does not sponge and it is not apian is wrong.; void -> assump1: Let's assume that the fact that the assignee is not a kind of a sponge and is not apian is wrong.; int1 & assump1 -> int2: the assignee is weightless.; void -> assump2: Let's assume that the assignee is not weightless.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the assignee is not a kind of a sponge and it is not apian.; int4 -> int5: the assignee is not apian.; sent3 -> int6: the assignee is not a hire-purchase but econometric if it is not apian.; int5 & int6 -> int7: the assignee is not a hire-purchase but econometric.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the fact that the assignee is both not the hire-purchase and econometric if that the assignee is not weightless is not incorrect does not hold. ; $context$ = sent1: if the assignee is not weightless it is not a hire-purchase. sent2: something is weightless if it does sponge. sent3: a non-apian thing is not a hire-purchase but econometric. sent4: that the fact that the assignee is a kind of a sponge that is not apian is false is not false. sent5: that something is weightless if the fact that it does not sponge and is not apian does not hold is not incorrect. ; $proof$ = 
sent5 -> int1: the assignee is weightless if the fact that it does not sponge and it is not apian is wrong.; void -> assump1: Let's assume that the fact that the assignee is not a kind of a sponge and is not apian is wrong.; int1 & assump1 -> int2: the assignee is weightless.; void -> assump2: Let's assume that the assignee is not weightless.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the assignee is not a kind of a sponge and it is not apian.; int4 -> int5: the assignee is not apian.; sent3 -> int6: the assignee is not a hire-purchase but econometric if it is not apian.; int5 & int6 -> int7: the assignee is not a hire-purchase but econometric.; [assump2] & int7 -> hypothesis; __DISPROVED__