that the teller is both not saprophytic and not non-apomictic is false.
sent1: something that is reproducible thing that does knot leporid is Procrustean. sent2: the bullock is not unreproducible and does knot leporid. sent3: if the teller is not inelegant then the fact that the bullock is not Procrustean is right. sent4: if a non-saprophytic thing is apomictic then it is not inelegant.
sent4 -> int1: the teller is not inelegant if it is not saprophytic and it is apomictic.; void -> assump1: Let's assume that the teller is not saprophytic but it is apomictic.; int1 & assump1 -> int2: that the teller is not inelegant hold.; int2 & sent3 -> int3: that the bullock is not Procrustean is not false.; sent1 -> int4: if the bullock is not unreproducible but it does knot leporid it is Procrustean.; int4 & sent2 -> int5: the bullock is Procrustean.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the teller is both not saprophytic and not non-apomictic is false. ; $context$ = sent1: something that is reproducible thing that does knot leporid is Procrustean. sent2: the bullock is not unreproducible and does knot leporid. sent3: if the teller is not inelegant then the fact that the bullock is not Procrustean is right. sent4: if a non-saprophytic thing is apomictic then it is not inelegant. ; $proof$ = 
sent4 -> int1: the teller is not inelegant if it is not saprophytic and it is apomictic.; void -> assump1: Let's assume that the teller is not saprophytic but it is apomictic.; int1 & assump1 -> int2: that the teller is not inelegant hold.; int2 & sent3 -> int3: that the bullock is not Procrustean is not false.; sent1 -> int4: if the bullock is not unreproducible but it does knot leporid it is Procrustean.; int4 & sent2 -> int5: the bullock is Procrustean.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__