that if the transferrin is destructive then the fact that the phencyclidine is both not a bye and not psychotherapeutic does not hold is not true.
sent1: if the phencyclidine is not a bye but it is psychotherapeutic it does purr. sent2: the fact that the transferrin is not destructive if the banner does exceed undervaluation hold. sent3: something purrs if it is not a kind of a bye and it is not psychotherapeutic. sent4: if the phencyclidine is a purr then the banner exceeds undervaluation. sent5: if the transferrin is destructive then the fact that the phencyclidine is a bye but it is not psychotherapeutic is not right. sent6: the fact that the eyebrow does not preempt arousal but it is a diaphoretic does not hold. sent7: something purrs if it is both not a bye and psychotherapeutic.
sent3 -> int1: the phencyclidine does purr if it is not a bye and it is not psychotherapeutic.; void -> assump2: Let's assume that the phencyclidine is not a bye and is not psychotherapeutic.; int1 & assump2 -> int2: the phencyclidine does purr.; int2 & sent4 -> int3: the banner does exceed undervaluation.; int3 & sent2 -> int4: the transferrin is not destructive.; void -> assump1: Let's assume that the transferrin is destructive.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the phencyclidine is not a bye and it is not psychotherapeutic is not correct.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the transferrin is destructive then the fact that the phencyclidine is both not a bye and not psychotherapeutic does not hold is not true. ; $context$ = sent1: if the phencyclidine is not a bye but it is psychotherapeutic it does purr. sent2: the fact that the transferrin is not destructive if the banner does exceed undervaluation hold. sent3: something purrs if it is not a kind of a bye and it is not psychotherapeutic. sent4: if the phencyclidine is a purr then the banner exceeds undervaluation. sent5: if the transferrin is destructive then the fact that the phencyclidine is a bye but it is not psychotherapeutic is not right. sent6: the fact that the eyebrow does not preempt arousal but it is a diaphoretic does not hold. sent7: something purrs if it is both not a bye and psychotherapeutic. ; $proof$ = 
sent3 -> int1: the phencyclidine does purr if it is not a bye and it is not psychotherapeutic.; void -> assump2: Let's assume that the phencyclidine is not a bye and is not psychotherapeutic.; int1 & assump2 -> int2: the phencyclidine does purr.; int2 & sent4 -> int3: the banner does exceed undervaluation.; int3 & sent2 -> int4: the transferrin is not destructive.; void -> assump1: Let's assume that the transferrin is destructive.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the phencyclidine is not a bye and it is not psychotherapeutic is not correct.; [assump1] & int6 -> hypothesis; __DISPROVED__