the fact that there is something such that if it is a Cyrtomium then it is an axon does not hold.
sent1: if the copy is a Gorgon it is trochaic. sent2: if the copy is a kind of a Cyrtomium then it is a armful. sent3: if something is a armful then it is a Cyrtomium. sent4: there exists something such that if it is micrometeoric then it is Boeotian. sent5: if the copy is a kind of an axon that it does julienne joke hold. sent6: the copy is a torridity if it is an axon. sent7: the copy claps concern if it is an axon. sent8: the ejaculator is a Cyrtomium. sent9: the copy is independent. sent10: there is something such that if it claps satsuma then it is uninjectable. sent11: the Afrikaner claps disgruntlement. sent12: if the Wintun claps Afrikaner that the copy is non-uninjectable an axon is not correct. sent13: there is something such that if it is a souring then the fact that it is an amaranth is not wrong. sent14: the fact that the copy is uninjectable is not wrong. sent15: the copy is anthracitic if it is a plumbism. sent16: something does sour if it is acetylenic. sent17: there exists something such that if it does disguise spinel it is a fondler. sent18: something is an axon if it is a armful.
void -> assump1: Let's assume that the copy is a Cyrtomium.; sent2 & assump1 -> int1: the copy is a armful.; sent18 -> int2: if the copy is a kind of a armful then it is a kind of an axon.; int1 & int2 -> int3: the copy is an axon.; [assump1] & int3 -> int4: that the copy is an axon is right if it is a Cyrtomium.; int4 -> hypothesis;
the spinel is a Cyrtomium.
sent3 -> int5: if the spinel is a kind of a armful then that it is a Cyrtomium is true.;
$hypothesis$ = the fact that there is something such that if it is a Cyrtomium then it is an axon does not hold. ; $context$ = sent1: if the copy is a Gorgon it is trochaic. sent2: if the copy is a kind of a Cyrtomium then it is a armful. sent3: if something is a armful then it is a Cyrtomium. sent4: there exists something such that if it is micrometeoric then it is Boeotian. sent5: if the copy is a kind of an axon that it does julienne joke hold. sent6: the copy is a torridity if it is an axon. sent7: the copy claps concern if it is an axon. sent8: the ejaculator is a Cyrtomium. sent9: the copy is independent. sent10: there is something such that if it claps satsuma then it is uninjectable. sent11: the Afrikaner claps disgruntlement. sent12: if the Wintun claps Afrikaner that the copy is non-uninjectable an axon is not correct. sent13: there is something such that if it is a souring then the fact that it is an amaranth is not wrong. sent14: the fact that the copy is uninjectable is not wrong. sent15: the copy is anthracitic if it is a plumbism. sent16: something does sour if it is acetylenic. sent17: there exists something such that if it does disguise spinel it is a fondler. sent18: something is an axon if it is a armful. ; $proof$ = 
void -> assump1: Let's assume that the copy is a Cyrtomium.; sent2 & assump1 -> int1: the copy is a armful.; sent18 -> int2: if the copy is a kind of a armful then it is a kind of an axon.; int1 & int2 -> int3: the copy is an axon.; [assump1] & int3 -> int4: that the copy is an axon is right if it is a Cyrtomium.; int4 -> hypothesis; __DISPROVED__