the doubler is a Malto.
sent1: the oxidase is not supernaturalist if the fact that the oenomel does not mumble and is not a kind of a chevrotain is not true. sent2: that the fact that the oxidase is not supernaturalist or a Gavidae or both is not incorrect is not correct if the rival is a kind of a micelle. sent3: the rival is a kind of a micelle. sent4: the doubler is a Malto if the oenomel does not mumble and is not a kind of a chevrotain.
void -> assump1: Let's assume that the fact that the oenomel is not a mumble and not a chevrotain is false.; sent1 & assump1 -> int1: the oxidase is not supernaturalist.; int1 -> int2: the oxidase is not supernaturalist or it is a Gavidae or both.; sent2 & sent3 -> int3: that the oxidase is not supernaturalist or a Gavidae or both is incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the oenomel does not mumble and is not a kind of a chevrotain is true.; int5 & sent4 -> hypothesis;
$hypothesis$ = the doubler is a Malto. ; $context$ = sent1: the oxidase is not supernaturalist if the fact that the oenomel does not mumble and is not a kind of a chevrotain is not true. sent2: that the fact that the oxidase is not supernaturalist or a Gavidae or both is not incorrect is not correct if the rival is a kind of a micelle. sent3: the rival is a kind of a micelle. sent4: the doubler is a Malto if the oenomel does not mumble and is not a kind of a chevrotain. ; $proof$ = 
void -> assump1: Let's assume that the fact that the oenomel is not a mumble and not a chevrotain is false.; sent1 & assump1 -> int1: the oxidase is not supernaturalist.; int1 -> int2: the oxidase is not supernaturalist or it is a Gavidae or both.; sent2 & sent3 -> int3: that the oxidase is not supernaturalist or a Gavidae or both is incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the oenomel does not mumble and is not a kind of a chevrotain is true.; int5 & sent4 -> hypothesis; __PROVED__