the fact that the stele is unorthodox if the vaulter is pyloric is not correct.
sent1: if something is pyloric it is a atomism. sent2: the sediment does stifle submarine. sent3: the pseudophloem is a current if the fact that the vaulter is pyloric is not incorrect. sent4: the pseudophloem is unorthodox. sent5: the fact that the pseudophloem is a kind of a atomism and/or it is not a current is not right if the vaulter is pyloric. sent6: the stele is unorthodox if the fact that the pseudophloem is a atomism or it is not a current or both is not true. sent7: the fact that the stele is unorthodox and/or is not pyloric does not hold. sent8: if the sediment stifles submarine the stele is a butterwort. sent9: the pseudophloem is a current. sent10: the plat is pyloric. sent11: if the pseudophloem is pyloric then the fact that the stele either is current or is not unorthodox or both is not correct. sent12: the shape is a kind of pyloric thing that is unorthodox if the vaulter is not a eyelessness. sent13: that the sporophyll is unorthodox is not wrong. sent14: the stele is pyloric.
void -> assump1: Let's assume that the vaulter is pyloric.; sent5 & assump1 -> int1: the fact that the pseudophloem is a atomism or not current or both does not hold.; sent6 & int1 -> int2: the stele is unorthodox.; [assump1] & int2 -> hypothesis;
the shape is a atomism.
sent1 -> int3: if the shape is pyloric it is a atomism.; sent8 & sent2 -> int4: the stele is a butterwort.; int4 -> int5: there exists something such that it is a butterwort.;
$hypothesis$ = the fact that the stele is unorthodox if the vaulter is pyloric is not correct. ; $context$ = sent1: if something is pyloric it is a atomism. sent2: the sediment does stifle submarine. sent3: the pseudophloem is a current if the fact that the vaulter is pyloric is not incorrect. sent4: the pseudophloem is unorthodox. sent5: the fact that the pseudophloem is a kind of a atomism and/or it is not a current is not right if the vaulter is pyloric. sent6: the stele is unorthodox if the fact that the pseudophloem is a atomism or it is not a current or both is not true. sent7: the fact that the stele is unorthodox and/or is not pyloric does not hold. sent8: if the sediment stifles submarine the stele is a butterwort. sent9: the pseudophloem is a current. sent10: the plat is pyloric. sent11: if the pseudophloem is pyloric then the fact that the stele either is current or is not unorthodox or both is not correct. sent12: the shape is a kind of pyloric thing that is unorthodox if the vaulter is not a eyelessness. sent13: that the sporophyll is unorthodox is not wrong. sent14: the stele is pyloric. ; $proof$ = 
void -> assump1: Let's assume that the vaulter is pyloric.; sent5 & assump1 -> int1: the fact that the pseudophloem is a atomism or not current or both does not hold.; sent6 & int1 -> int2: the stele is unorthodox.; [assump1] & int2 -> hypothesis; __DISPROVED__