if the dihybrid is a kind of a tyrothricin the Dunkers is Buddhist and is not a stickler.
sent1: the dihybrid does not tweak if the outflow is not Buddhist and tweak. sent2: if the doxorubicin is collapsible the outflow does tweak. sent3: the outflow tweaks if the doxorubicin is retinal. sent4: the Dunkers is not a stickler. sent5: if something is not a program and it is not adscript it is not alternating. sent6: if the dihybrid is a kind of conventional a tyrothricin then the outflow does not tweak. sent7: something that is conventional is non-prolusory thing that is not a singular. sent8: either the doxorubicin is collapsible or it is retinal or both. sent9: the dihybrid is not a kind of a program and is not adscript. sent10: the rhabdovirus is both a perversion and adscript. sent11: the Dunkers is a Buddhist if something that is not conventional is not alternating.
void -> assump2: Let's assume that that the dihybrid is conventional is right.; void -> assump1: Let's assume that the dihybrid is a tyrothricin.; assump2 & assump1 -> int1: the dihybrid is conventional a tyrothricin.; int1 & sent6 -> int2: the outflow does not tweak.; sent8 & sent2 & sent3 -> int3: the outflow tweaks.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dihybrid is not conventional.; sent5 -> int6: if the dihybrid does not program and it is not adscript it does not alternate.; int6 & sent9 -> int7: that the dihybrid does not alternate hold.; int5 & int7 -> int8: the dihybrid is both not conventional and not alternating.; int8 -> int9: something is not conventional and it is not alternating.; int9 & sent11 -> int10: the Dunkers is a kind of a Buddhist.; int10 & sent4 -> int11: the Dunkers is a kind of Buddhist thing that is not a stickler.; [assump1] & int11 -> hypothesis;
the doxorubicin is not prolusory and not a singular.
sent7 -> int12: the doxorubicin is not prolusory and not singular if it is conventional.;
$hypothesis$ = if the dihybrid is a kind of a tyrothricin the Dunkers is Buddhist and is not a stickler. ; $context$ = sent1: the dihybrid does not tweak if the outflow is not Buddhist and tweak. sent2: if the doxorubicin is collapsible the outflow does tweak. sent3: the outflow tweaks if the doxorubicin is retinal. sent4: the Dunkers is not a stickler. sent5: if something is not a program and it is not adscript it is not alternating. sent6: if the dihybrid is a kind of conventional a tyrothricin then the outflow does not tweak. sent7: something that is conventional is non-prolusory thing that is not a singular. sent8: either the doxorubicin is collapsible or it is retinal or both. sent9: the dihybrid is not a kind of a program and is not adscript. sent10: the rhabdovirus is both a perversion and adscript. sent11: the Dunkers is a Buddhist if something that is not conventional is not alternating. ; $proof$ = 
void -> assump2: Let's assume that that the dihybrid is conventional is right.; void -> assump1: Let's assume that the dihybrid is a tyrothricin.; assump2 & assump1 -> int1: the dihybrid is conventional a tyrothricin.; int1 & sent6 -> int2: the outflow does not tweak.; sent8 & sent2 & sent3 -> int3: the outflow tweaks.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dihybrid is not conventional.; sent5 -> int6: if the dihybrid does not program and it is not adscript it does not alternate.; int6 & sent9 -> int7: that the dihybrid does not alternate hold.; int5 & int7 -> int8: the dihybrid is both not conventional and not alternating.; int8 -> int9: something is not conventional and it is not alternating.; int9 & sent11 -> int10: the Dunkers is a kind of a Buddhist.; int10 & sent4 -> int11: the Dunkers is a kind of Buddhist thing that is not a stickler.; [assump1] & int11 -> hypothesis; __PROVED__