the besieger is not a Ido and/or it is anoxic.
sent1: the memorizer is a smoulder. sent2: the besieger is a Ido and/or is anoxic if the memorizer is not a Ido. sent3: if something that is a VLDL is a smoulder then the fact that it does not singularize substitute is correct. sent4: the besieger is not a Ido and/or it is not non-anoxic if the memorizer is not a kind of a Ido. sent5: the memorizer is not a Ido if the fact that it is not a kind of a VLDL is correct. sent6: the memorizer singularizes substitute. sent7: The substitute singularizes memorizer.
void -> assump1: Let's assume that the memorizer is a kind of a VLDL.; assump1 & sent1 -> int1: the memorizer is a VLDL and it is a smoulder.; sent3 -> int2: if the memorizer is a kind of a VLDL and it is a kind of a smoulder that it does not singularize substitute is right.; int1 & int2 -> int3: the memorizer does not singularize substitute.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the memorizer is not a VLDL.; int5 & sent5 -> int6: the memorizer is not a Ido.; int6 & sent4 -> hypothesis;
$hypothesis$ = the besieger is not a Ido and/or it is anoxic. ; $context$ = sent1: the memorizer is a smoulder. sent2: the besieger is a Ido and/or is anoxic if the memorizer is not a Ido. sent3: if something that is a VLDL is a smoulder then the fact that it does not singularize substitute is correct. sent4: the besieger is not a Ido and/or it is not non-anoxic if the memorizer is not a kind of a Ido. sent5: the memorizer is not a Ido if the fact that it is not a kind of a VLDL is correct. sent6: the memorizer singularizes substitute. sent7: The substitute singularizes memorizer. ; $proof$ = 
void -> assump1: Let's assume that the memorizer is a kind of a VLDL.; assump1 & sent1 -> int1: the memorizer is a VLDL and it is a smoulder.; sent3 -> int2: if the memorizer is a kind of a VLDL and it is a kind of a smoulder that it does not singularize substitute is right.; int1 & int2 -> int3: the memorizer does not singularize substitute.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the memorizer is not a VLDL.; int5 & sent5 -> int6: the memorizer is not a Ido.; int6 & sent4 -> hypothesis; __PROVED__