the redhorse is Baptistic.
sent1: the fact that the iguana is a kind of a Ledum but it does not contribute sepal is wrong if the rod is unforgettable. sent2: something does contribute iguana if it is not occipital or it does not contribute birdlime or both. sent3: something is unforgettable if it contributes iguana. sent4: the fact that something is a Ledum hold. sent5: if something is totipotent it is not occipital or does not contribute birdlime or both. sent6: the taper is not totipotent. sent7: if there is something such that it is a Ledum and it is Baptistic the iguana does contribute sepal. sent8: The fact that the iguana contributes rod hold. sent9: the redhorse is a Ledum. sent10: if something that does not contribute sepal is not a Ledum that it is Baptistic is right. sent11: something is unforgettable. sent12: the fact that the rod contributes iguana hold. sent13: there exists something such that it is Baptistic. sent14: the iguana is not forgettable. sent15: the redhorse is totipotent if there are non-nonnative things. sent16: there is something such that it is not nonnative. sent17: if the taper contributes iguana then the rod is unforgettable. sent18: if there exists something such that it is unforgettable and it contributes sepal then the rod does not contribute iguana. sent19: something does contribute birdlime if the fact that it is non-occipital thing that does not contribute birdlime is not correct. sent20: that something is not occipital and does not contribute birdlime is false if it is non-totipotent. sent21: there is something such that it contributes sepal.
void -> assump1: Let's assume that the fact that the redhorse is Baptistic is right.; sent9 & assump1 -> int1: the redhorse is both a Ledum and Baptistic.; int1 -> int2: something is both a Ledum and Baptistic.; int2 & sent7 -> int3: the iguana contributes sepal.; int3 & sent14 -> int4: the iguana is unforgettable thing that contributes sepal.; int4 -> int5: there is something such that it is unforgettable and it contributes sepal.; int5 & sent18 -> int6: the rod does not contribute iguana.; int6 & sent12 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the redhorse is Baptistic.
sent19 -> int8: if that the taper is non-occipital and it does not contribute birdlime does not hold it contribute birdlime.; sent20 -> int9: if the taper is not totipotent then the fact that it is non-occipital thing that does not contribute birdlime is wrong.; int9 & sent6 -> int10: the fact that the taper is not occipital and it does not contribute birdlime does not hold.; int8 & int10 -> int11: the taper does contribute birdlime.;
$hypothesis$ = the redhorse is Baptistic. ; $context$ = sent1: the fact that the iguana is a kind of a Ledum but it does not contribute sepal is wrong if the rod is unforgettable. sent2: something does contribute iguana if it is not occipital or it does not contribute birdlime or both. sent3: something is unforgettable if it contributes iguana. sent4: the fact that something is a Ledum hold. sent5: if something is totipotent it is not occipital or does not contribute birdlime or both. sent6: the taper is not totipotent. sent7: if there is something such that it is a Ledum and it is Baptistic the iguana does contribute sepal. sent8: The fact that the iguana contributes rod hold. sent9: the redhorse is a Ledum. sent10: if something that does not contribute sepal is not a Ledum that it is Baptistic is right. sent11: something is unforgettable. sent12: the fact that the rod contributes iguana hold. sent13: there exists something such that it is Baptistic. sent14: the iguana is not forgettable. sent15: the redhorse is totipotent if there are non-nonnative things. sent16: there is something such that it is not nonnative. sent17: if the taper contributes iguana then the rod is unforgettable. sent18: if there exists something such that it is unforgettable and it contributes sepal then the rod does not contribute iguana. sent19: something does contribute birdlime if the fact that it is non-occipital thing that does not contribute birdlime is not correct. sent20: that something is not occipital and does not contribute birdlime is false if it is non-totipotent. sent21: there is something such that it contributes sepal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the redhorse is Baptistic is right.; sent9 & assump1 -> int1: the redhorse is both a Ledum and Baptistic.; int1 -> int2: something is both a Ledum and Baptistic.; int2 & sent7 -> int3: the iguana contributes sepal.; int3 & sent14 -> int4: the iguana is unforgettable thing that contributes sepal.; int4 -> int5: there is something such that it is unforgettable and it contributes sepal.; int5 & sent18 -> int6: the rod does not contribute iguana.; int6 & sent12 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__