there exists something such that if it is not irremovable then it is not a interrogative.
sent1: there exists something such that if it is not irremovable it is a interrogative. sent2: the Greece is irremovable if it is a interrogative. sent3: if the Greece is irremovable it is not a interrogative. sent4: if the chanar is a kind of a interrogative it is a unenlightenment. sent5: there exists something such that if it does not avoid Astarte it does zone Daphne.
void -> assump1: Let's assume that the Greece is a interrogative.; sent2 & assump1 -> int1: the Greece is irremovable.; void -> assump2: Let's assume that the Greece is not irremovable.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Greece is not interrogative.; [assump2] & int3 -> int4: the Greece is not a interrogative if it is not irremovable.; int4 -> hypothesis;
$hypothesis$ = there exists something such that if it is not irremovable then it is not a interrogative. ; $context$ = sent1: there exists something such that if it is not irremovable it is a interrogative. sent2: the Greece is irremovable if it is a interrogative. sent3: if the Greece is irremovable it is not a interrogative. sent4: if the chanar is a kind of a interrogative it is a unenlightenment. sent5: there exists something such that if it does not avoid Astarte it does zone Daphne. ; $proof$ = 
void -> assump1: Let's assume that the Greece is a interrogative.; sent2 & assump1 -> int1: the Greece is irremovable.; void -> assump2: Let's assume that the Greece is not irremovable.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Greece is not interrogative.; [assump2] & int3 -> int4: the Greece is not a interrogative if it is not irremovable.; int4 -> hypothesis; __PROVED__