the procyclidine is dramaturgic.
sent1: the fact that the salmon is not a Juno and does not hop conglomerate is not incorrect. sent2: that the fact that the salmon is not a kind of a Juno and does not hop conglomerate is false hold if the metatherian is not a kind of a thalidomide. sent3: the fact that the salmon is a Juno but it does not hop conglomerate is not true if that the metatherian is not a thalidomide is right. sent4: that the metatherian hops conglomerate is right. sent5: that the salmon is non-christian thing that hops conglomerate is false if the procyclidine is not doric. sent6: the procyclidine is christian if the scapegrace is dramaturgic. sent7: if the scapegrace is not unchristian that the procyclidine is a signature is not false. sent8: the fact that the metatherian is not a kind of a thalidomide and is not dramaturgic is false if the procyclidine is not doric. sent9: the scapegrace does hop conglomerate. sent10: the salmon is a signature. sent11: if the metatherian is a thalidomide the scapegrace is christian. sent12: if something is not christian then it is both not dramaturgic and not a thalidomide. sent13: if the scapegrace is doric then the procyclidine is christian. sent14: if that the procyclidine is a signature hold that it is doric is right. sent15: if the salmon is not doric then that the procyclidine does not hop conglomerate but it is a Juno is not right. sent16: the fact that the salmon is not dramaturgic and does hop conglomerate is wrong if the procyclidine is not a Juno. sent17: the procyclidine is dramaturgic if that it is doric is not incorrect.
void -> assump1: Let's assume that the metatherian is not a thalidomide.; sent2 & assump1 -> int1: the fact that the salmon is not a Juno and it does not hop conglomerate is not correct.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the metatherian is a kind of a thalidomide.; int3 & sent11 -> int4: the scapegrace is christian.; int4 & sent7 -> int5: the procyclidine is a signature.; int5 & sent14 -> int6: the procyclidine is doric.; int6 & sent17 -> hypothesis;
that the procyclidine is not dramaturgic is not false.
sent12 -> int7: if the procyclidine is not christian then it is not dramaturgic and it is not a thalidomide.;
$hypothesis$ = the procyclidine is dramaturgic. ; $context$ = sent1: the fact that the salmon is not a Juno and does not hop conglomerate is not incorrect. sent2: that the fact that the salmon is not a kind of a Juno and does not hop conglomerate is false hold if the metatherian is not a kind of a thalidomide. sent3: the fact that the salmon is a Juno but it does not hop conglomerate is not true if that the metatherian is not a thalidomide is right. sent4: that the metatherian hops conglomerate is right. sent5: that the salmon is non-christian thing that hops conglomerate is false if the procyclidine is not doric. sent6: the procyclidine is christian if the scapegrace is dramaturgic. sent7: if the scapegrace is not unchristian that the procyclidine is a signature is not false. sent8: the fact that the metatherian is not a kind of a thalidomide and is not dramaturgic is false if the procyclidine is not doric. sent9: the scapegrace does hop conglomerate. sent10: the salmon is a signature. sent11: if the metatherian is a thalidomide the scapegrace is christian. sent12: if something is not christian then it is both not dramaturgic and not a thalidomide. sent13: if the scapegrace is doric then the procyclidine is christian. sent14: if that the procyclidine is a signature hold that it is doric is right. sent15: if the salmon is not doric then that the procyclidine does not hop conglomerate but it is a Juno is not right. sent16: the fact that the salmon is not dramaturgic and does hop conglomerate is wrong if the procyclidine is not a Juno. sent17: the procyclidine is dramaturgic if that it is doric is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the metatherian is not a thalidomide.; sent2 & assump1 -> int1: the fact that the salmon is not a Juno and it does not hop conglomerate is not correct.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the metatherian is a kind of a thalidomide.; int3 & sent11 -> int4: the scapegrace is christian.; int4 & sent7 -> int5: the procyclidine is a signature.; int5 & sent14 -> int6: the procyclidine is doric.; int6 & sent17 -> hypothesis; __PROVED__