the triplicate is a battered.
sent1: if the fact that something is a wax but it does not include twinjet is wrong it is vertebral. sent2: if the twinjet does wax and does not include twinjet then that the triplicate is a battered is correct. sent3: the twinjet is not vertebral.
sent1 -> int1: the twinjet is vertebral if the fact that it waxes and does not include twinjet is not correct.; void -> assump1: Let's assume that the fact that that that the twinjet does wax but it does not include twinjet is not false is false is not incorrect.; int1 & assump1 -> int2: the twinjet is vertebral.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twinjet waxes but it does not include twinjet.; int4 & sent2 -> hypothesis;
$hypothesis$ = the triplicate is a battered. ; $context$ = sent1: if the fact that something is a wax but it does not include twinjet is wrong it is vertebral. sent2: if the twinjet does wax and does not include twinjet then that the triplicate is a battered is correct. sent3: the twinjet is not vertebral. ; $proof$ = 
sent1 -> int1: the twinjet is vertebral if the fact that it waxes and does not include twinjet is not correct.; void -> assump1: Let's assume that the fact that that that the twinjet does wax but it does not include twinjet is not false is false is not incorrect.; int1 & assump1 -> int2: the twinjet is vertebral.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twinjet waxes but it does not include twinjet.; int4 & sent2 -> hypothesis; __PROVED__