the peccary is a Veratrum but it is not a power.
sent1: the fact that something is a Veratrum but it is not a power is not right if it is not concentric. sent2: that the satsuma is not a Menander and is a power does not hold. sent3: the peccary does not power if there is something such that that it is not a kind of a Menander and does power is incorrect. sent4: if a non-antediluvian thing is scalable it is a kind of a Veratrum. sent5: the peccary is scalable. sent6: the peccary is not a kind of a antediluvian.
sent4 -> int1: the peccary is a Veratrum if it is non-antediluvian and scalable.; sent6 & sent5 -> int2: the peccary is not antediluvian but it is scalable.; int1 & int2 -> int3: the peccary is a Veratrum.; sent2 -> int4: there is something such that that it is not a Menander but a power is not correct.; int4 & sent3 -> int5: the peccary is not a power.; int3 & int5 -> hypothesis;
that the peccary is a kind of a Veratrum but it is not a power does not hold.
sent1 -> int6: if the peccary is not concentric then the fact that it is a kind of a Veratrum and it is not a kind of a power is incorrect.;
$hypothesis$ = the peccary is a Veratrum but it is not a power. ; $context$ = sent1: the fact that something is a Veratrum but it is not a power is not right if it is not concentric. sent2: that the satsuma is not a Menander and is a power does not hold. sent3: the peccary does not power if there is something such that that it is not a kind of a Menander and does power is incorrect. sent4: if a non-antediluvian thing is scalable it is a kind of a Veratrum. sent5: the peccary is scalable. sent6: the peccary is not a kind of a antediluvian. ; $proof$ = 
sent4 -> int1: the peccary is a Veratrum if it is non-antediluvian and scalable.; sent6 & sent5 -> int2: the peccary is not antediluvian but it is scalable.; int1 & int2 -> int3: the peccary is a Veratrum.; sent2 -> int4: there is something such that that it is not a Menander but a power is not correct.; int4 & sent3 -> int5: the peccary is not a power.; int3 & int5 -> hypothesis; __PROVED__