the wild is not desirable.
sent1: if the yield is not a keep then the parallel is a kind of an antiseptic that does not spurt spirometry. sent2: the wild is non-surficial if something is a kind of an antiseptic that does not spurt spirometry. sent3: if the wild is not surficial that the adrenosterone is a kind of a neonatology or it is desirable or both hold. sent4: if something does not tout Magnificat it is not calyptrate. sent5: something does clap editorship if it is desirable. sent6: if something is a kind of an antiseptic it is not non-surficial. sent7: the marmot is not forgettable. sent8: the fact that the wild is a neonatology hold. sent9: if the yield is non-surficial then that the parallel is undesirable thing that is a kind of a neonatology is incorrect. sent10: if the fact that something claps editorship and is surficial is not true then that it is not surficial is not incorrect. sent11: the parallel is an antiseptic and it claps editorship. sent12: the wild is desirable if the fact that the parallel is not desirable but it is a neonatology is not correct. sent13: something claps editorship if that it is a neonatology is correct. sent14: if something is non-calyptrate it is not a keep. sent15: if the wild is a kind of a neonatology and it is desirable the parallel is not surficial. sent16: the fact that the marmot does tout Magnificat and is not mercantile is wrong if it is not forgettable.
void -> assump1: Let's assume that the wild is desirable.; sent8 & assump1 -> int1: the wild is a neonatology that is desirable.; int1 & sent15 -> int2: the parallel is not surficial.; sent6 -> int3: if the parallel is not non-antiseptic then it is surficial.; sent11 -> int4: the parallel is a kind of an antiseptic.; int3 & int4 -> int5: the parallel is surficial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the wild is desirable.
sent10 -> int7: if that the yield does clap editorship and is surficial is incorrect it is not surficial.;
$hypothesis$ = the wild is not desirable. ; $context$ = sent1: if the yield is not a keep then the parallel is a kind of an antiseptic that does not spurt spirometry. sent2: the wild is non-surficial if something is a kind of an antiseptic that does not spurt spirometry. sent3: if the wild is not surficial that the adrenosterone is a kind of a neonatology or it is desirable or both hold. sent4: if something does not tout Magnificat it is not calyptrate. sent5: something does clap editorship if it is desirable. sent6: if something is a kind of an antiseptic it is not non-surficial. sent7: the marmot is not forgettable. sent8: the fact that the wild is a neonatology hold. sent9: if the yield is non-surficial then that the parallel is undesirable thing that is a kind of a neonatology is incorrect. sent10: if the fact that something claps editorship and is surficial is not true then that it is not surficial is not incorrect. sent11: the parallel is an antiseptic and it claps editorship. sent12: the wild is desirable if the fact that the parallel is not desirable but it is a neonatology is not correct. sent13: something claps editorship if that it is a neonatology is correct. sent14: if something is non-calyptrate it is not a keep. sent15: if the wild is a kind of a neonatology and it is desirable the parallel is not surficial. sent16: the fact that the marmot does tout Magnificat and is not mercantile is wrong if it is not forgettable. ; $proof$ = 
void -> assump1: Let's assume that the wild is desirable.; sent8 & assump1 -> int1: the wild is a neonatology that is desirable.; int1 & sent15 -> int2: the parallel is not surficial.; sent6 -> int3: if the parallel is not non-antiseptic then it is surficial.; sent11 -> int4: the parallel is a kind of an antiseptic.; int3 & int4 -> int5: the parallel is surficial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__