that the plantlet does not slug doo-wop but it does transact does not hold if the applicator is adynamic.
sent1: the plantlet does not slug doo-wop. sent2: that the plantlet slugs doo-wop and it transacts is not true. sent3: the two-timer does transact. sent4: that the applicator does not slug doo-wop but it does transact is not true if the plantlet is adynamic. sent5: if the applicator is adynamic then the fact that the plantlet does slug doo-wop and transacts does not hold. sent6: that the applicator does not slug doo-wop is not wrong. sent7: if the applicator is adynamic then the plantlet does not slug doo-wop and transacts. sent8: something does not slug doo-wop. sent9: the plantlet is not adynamic if something does not transact and does slug doo-wop. sent10: if something that does slug doo-wop transacts the applicator is not adynamic. sent11: there is something such that it transacts. sent12: if there exists something such that it does not slug doo-wop and transacts the applicator is adynamic.
void -> assump2: Let's assume that the plantlet does not slug doo-wop but it transacts.; assump2 -> int1: there exists something such that it does not slug doo-wop and transacts.;
$hypothesis$ = that the plantlet does not slug doo-wop but it does transact does not hold if the applicator is adynamic. ; $context$ = sent1: the plantlet does not slug doo-wop. sent2: that the plantlet slugs doo-wop and it transacts is not true. sent3: the two-timer does transact. sent4: that the applicator does not slug doo-wop but it does transact is not true if the plantlet is adynamic. sent5: if the applicator is adynamic then the fact that the plantlet does slug doo-wop and transacts does not hold. sent6: that the applicator does not slug doo-wop is not wrong. sent7: if the applicator is adynamic then the plantlet does not slug doo-wop and transacts. sent8: something does not slug doo-wop. sent9: the plantlet is not adynamic if something does not transact and does slug doo-wop. sent10: if something that does slug doo-wop transacts the applicator is not adynamic. sent11: there is something such that it transacts. sent12: if there exists something such that it does not slug doo-wop and transacts the applicator is adynamic. ; $proof$ = 
void -> assump2: Let's assume that the plantlet does not slug doo-wop but it transacts.; assump2 -> int1: there exists something such that it does not slug doo-wop and transacts.; __UNKNOWN__