the fact that there exists something such that if that it is a kind of a antihero is true then it is a kind of a Cercopidae that is not surface-to-air is false.
sent1: if the fact that that something is a Cercopidae and is not surface-to-air is not incorrect does not hold it is not a antihero.
sent1 -> int1: the illuminant is not a antihero if the fact that it is a Cercopidae and it is not surface-to-air does not hold.; void -> assump2: Let's assume that that the illuminant is a Cercopidae but it is not surface-to-air does not hold.; int1 & assump2 -> int2: the illuminant is not a kind of a antihero.; void -> assump1: Let's assume that the illuminant is a kind of a antihero.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the illuminant is a kind of a Cercopidae but it is non-surface-to-air.; [assump1] & int4 -> int5: if the illuminant is a kind of a antihero that it is a Cercopidae but not surface-to-air is not incorrect.; int5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is a kind of a antihero is true then it is a kind of a Cercopidae that is not surface-to-air is false. ; $context$ = sent1: if the fact that that something is a Cercopidae and is not surface-to-air is not incorrect does not hold it is not a antihero. ; $proof$ = 
sent1 -> int1: the illuminant is not a antihero if the fact that it is a Cercopidae and it is not surface-to-air does not hold.; void -> assump2: Let's assume that that the illuminant is a Cercopidae but it is not surface-to-air does not hold.; int1 & assump2 -> int2: the illuminant is not a kind of a antihero.; void -> assump1: Let's assume that the illuminant is a kind of a antihero.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the illuminant is a kind of a Cercopidae but it is non-surface-to-air.; [assump1] & int4 -> int5: if the illuminant is a kind of a antihero that it is a Cercopidae but not surface-to-air is not incorrect.; int5 -> hypothesis; __DISPROVED__