the glycoside is saprophytic.
sent1: the PVC heaps health and it is urethral. sent2: the snapshot is urethral if there is something such that it is not unacceptable. sent3: something does not heap health or it is urethral or both. sent4: the fact that either the glycoside is not casuistic or it does not criticize partialness or both is not right if there exists something such that it is not saprophytic. sent5: if that the snapshot is not a Strongylodon and/or it is not unacceptable is not right then the PVC does not heap health. sent6: the PVC does not soak if that the succession is not gingival or it is not a kind of a NIPR or both is not correct. sent7: that the succession is not gingival or it is not a NIPR or both does not hold. sent8: the PVC does rape. sent9: something is urethral if the fact that it is not a Monday and/or it is a kind of a Skinnerian does not hold. sent10: the glycoside is not a Horney. sent11: if there is something such that it is not a soaking then the fact that the snapshot is not a kind of a Monday and/or it is a Skinnerian is false. sent12: if there exists something such that the fact that it is not saprophytic is true the glycoside heaps health. sent13: that something is saprophytic and/or acceptable hold. sent14: the glycoside is saprophytic if either something is not a kind of a Strongylodon or it is not unacceptable or both. sent15: the snapshot is unacceptable. sent16: the glycoside is a kind of a Strongylodon if something is not saprophytic and/or it is not unacceptable. sent17: the PVC is saprophytic or is not urethral or both. sent18: if the snapshot heaps health then the glycoside is not saprophytic. sent19: the PVC is a Strongylodon. sent20: something is not unacceptable or it is not saprophytic or both.
void -> assump1: Let's assume that that either the snapshot is not a Strongylodon or it is not unacceptable or both does not hold.; sent5 & assump1 -> int1: the PVC does not heap health.; sent1 -> int2: the PVC does heap health.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the snapshot is not a kind of a Strongylodon and/or it is not unacceptable.; int4 -> int5: there exists something such that it is not a Strongylodon or it is not unacceptable or both.; int5 & sent14 -> hypothesis;
that either the glycoside is not casuistic or it does not criticize partialness or both is not correct.
sent9 -> int6: the snapshot is urethral if the fact that either it is not a Monday or it is a Skinnerian or both is false.; sent6 & sent7 -> int7: the PVC is not a soaking.; int7 -> int8: there is something such that it is not a soaking.; int8 & sent11 -> int9: that the snapshot is not a Monday or it is a Skinnerian or both is wrong.; int6 & int9 -> int10: the snapshot is urethral.;
$hypothesis$ = the glycoside is saprophytic. ; $context$ = sent1: the PVC heaps health and it is urethral. sent2: the snapshot is urethral if there is something such that it is not unacceptable. sent3: something does not heap health or it is urethral or both. sent4: the fact that either the glycoside is not casuistic or it does not criticize partialness or both is not right if there exists something such that it is not saprophytic. sent5: if that the snapshot is not a Strongylodon and/or it is not unacceptable is not right then the PVC does not heap health. sent6: the PVC does not soak if that the succession is not gingival or it is not a kind of a NIPR or both is not correct. sent7: that the succession is not gingival or it is not a NIPR or both does not hold. sent8: the PVC does rape. sent9: something is urethral if the fact that it is not a Monday and/or it is a kind of a Skinnerian does not hold. sent10: the glycoside is not a Horney. sent11: if there is something such that it is not a soaking then the fact that the snapshot is not a kind of a Monday and/or it is a Skinnerian is false. sent12: if there exists something such that the fact that it is not saprophytic is true the glycoside heaps health. sent13: that something is saprophytic and/or acceptable hold. sent14: the glycoside is saprophytic if either something is not a kind of a Strongylodon or it is not unacceptable or both. sent15: the snapshot is unacceptable. sent16: the glycoside is a kind of a Strongylodon if something is not saprophytic and/or it is not unacceptable. sent17: the PVC is saprophytic or is not urethral or both. sent18: if the snapshot heaps health then the glycoside is not saprophytic. sent19: the PVC is a Strongylodon. sent20: something is not unacceptable or it is not saprophytic or both. ; $proof$ = 
void -> assump1: Let's assume that that either the snapshot is not a Strongylodon or it is not unacceptable or both does not hold.; sent5 & assump1 -> int1: the PVC does not heap health.; sent1 -> int2: the PVC does heap health.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the snapshot is not a kind of a Strongylodon and/or it is not unacceptable.; int4 -> int5: there exists something such that it is not a Strongylodon or it is not unacceptable or both.; int5 & sent14 -> hypothesis; __PROVED__