there is something such that it renders opacification and it is lexicostatistics.
sent1: if something is not a swordfish and it does not pleach Khmer then it does rendezvous waltzer. sent2: if the desperate is philharmonic then it does render opacification. sent3: something is a Dard. sent4: something is not a Doliolidae and it does not rendezvous waltzer if it is not philharmonic. sent5: the desperate is not a L-plate. sent6: something is not a kind of a swordfish and it does not pleach Khmer if it is not a L-plate. sent7: the fact that the desperate is lexicostatistics is correct.
sent4 -> int1: if the desperate is not philharmonic it is not a kind of a Doliolidae and does not rendezvous waltzer.; void -> assump1: Let's assume that the desperate is non-philharmonic.; int1 & assump1 -> int2: the desperate is not a Doliolidae and does not rendezvous waltzer.; int2 -> int3: the desperate does not rendezvous waltzer.; sent1 -> int4: if the desperate is not a kind of a swordfish and does not pleach Khmer it rendezvous waltzer.; sent6 -> int5: the desperate is not a swordfish and it does not pleach Khmer if it is not a L-plate.; int5 & sent5 -> int6: the desperate is not a swordfish and does not pleach Khmer.; int4 & int6 -> int7: the desperate does rendezvous waltzer.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the desperate is philharmonic.; int9 & sent2 -> int10: the desperate does render opacification.; int10 & sent7 -> int11: the desperate renders opacification and is lexicostatistics.; int11 -> hypothesis;
$hypothesis$ = there is something such that it renders opacification and it is lexicostatistics. ; $context$ = sent1: if something is not a swordfish and it does not pleach Khmer then it does rendezvous waltzer. sent2: if the desperate is philharmonic then it does render opacification. sent3: something is a Dard. sent4: something is not a Doliolidae and it does not rendezvous waltzer if it is not philharmonic. sent5: the desperate is not a L-plate. sent6: something is not a kind of a swordfish and it does not pleach Khmer if it is not a L-plate. sent7: the fact that the desperate is lexicostatistics is correct. ; $proof$ = 
sent4 -> int1: if the desperate is not philharmonic it is not a kind of a Doliolidae and does not rendezvous waltzer.; void -> assump1: Let's assume that the desperate is non-philharmonic.; int1 & assump1 -> int2: the desperate is not a Doliolidae and does not rendezvous waltzer.; int2 -> int3: the desperate does not rendezvous waltzer.; sent1 -> int4: if the desperate is not a kind of a swordfish and does not pleach Khmer it rendezvous waltzer.; sent6 -> int5: the desperate is not a swordfish and it does not pleach Khmer if it is not a L-plate.; int5 & sent5 -> int6: the desperate is not a swordfish and does not pleach Khmer.; int4 & int6 -> int7: the desperate does rendezvous waltzer.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the desperate is philharmonic.; int9 & sent2 -> int10: the desperate does render opacification.; int10 & sent7 -> int11: the desperate renders opacification and is lexicostatistics.; int11 -> hypothesis; __PROVED__