there exists something such that if it does not build obtrusiveness that it is a bound and not a Melopsittacus does not hold.
sent1: that the Identikit is a bound and is not a Melopsittacus is false if it does not build obtrusiveness. sent2: there exists something such that if the fact that it does not build obtrusiveness is not false it binds and is not a Melopsittacus. sent3: if the butter builds obtrusiveness the fact that the fact that it is an incoordination and it is not zymotic is not false does not hold. sent4: if something does not bind that it is therapeutic and it is not combinative is not right.
sent1 -> hypothesis;
if the briar does not bind then that it is both therapeutic and not combinative is wrong.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if it does not build obtrusiveness that it is a bound and not a Melopsittacus does not hold. ; $context$ = sent1: that the Identikit is a bound and is not a Melopsittacus is false if it does not build obtrusiveness. sent2: there exists something such that if the fact that it does not build obtrusiveness is not false it binds and is not a Melopsittacus. sent3: if the butter builds obtrusiveness the fact that the fact that it is an incoordination and it is not zymotic is not false does not hold. sent4: if something does not bind that it is therapeutic and it is not combinative is not right. ; $proof$ = 
sent1 -> hypothesis; __PROVED__