the fact that there is something such that if it is paralytic it is not a ylem but micrometeoritic is wrong.
sent1: something is both not a ylem and micrometeoritic if it is not non-paralytic.
sent1 -> int1: the Apache is not a kind of a ylem but it is micrometeoritic if it is paralytic.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is paralytic it is not a ylem but micrometeoritic is wrong. ; $context$ = sent1: something is both not a ylem and micrometeoritic if it is not non-paralytic. ; $proof$ = 
sent1 -> int1: the Apache is not a kind of a ylem but it is micrometeoritic if it is paralytic.; int1 -> hypothesis; __DISPROVED__