the fact that the blindworm is electroencephalographic and it is systematics is not correct if the agitator is not a Iridoprocne.
sent1: there exists something such that it is not thematic. sent2: if the blindworm is not electroencephalographic that the agitator is systematics and it is a Iridoprocne is false. sent3: the fact that the blindworm is both electroencephalographic and systematics is incorrect if there is something such that it is a kind of a Iridoprocne. sent4: if there is something such that it is not a kind of a Iridoprocne then the blindworm is electroencephalographic and it is systematics. sent5: the fact that the agitator is a Iridoprocne and is electroencephalographic is not right if the fact that the blindworm is not systematics hold. sent6: if the agitator is a Iridoprocne that the blindworm is electroencephalographic and it is systematics does not hold. sent7: the fact that the blindworm is systematics and it is a Iridoprocne is not true if the agitator is not electroencephalographic. sent8: the blindworm is not a tael and it is not systematics if the chart is not a self-service. sent9: if there exists something such that it is not a Iridoprocne then the fact that the blindworm is electroencephalographic and it is systematics is false. sent10: the blindworm is electroencephalographic and it is systematics if the agitator is not a Iridoprocne. sent11: if the blindworm is not systematics the outfall is not electroencephalographic and is not a kind of a Iridoprocne.
void -> assump1: Let's assume that that the agitator is not a Iridoprocne is correct.; assump1 -> int1: there is something such that it is not a Iridoprocne.; int1 & sent9 -> int2: that the blindworm is electroencephalographic and it is systematics is incorrect.; [assump1] & int2 -> hypothesis;
the outfall is not electroencephalographic.
$hypothesis$ = the fact that the blindworm is electroencephalographic and it is systematics is not correct if the agitator is not a Iridoprocne. ; $context$ = sent1: there exists something such that it is not thematic. sent2: if the blindworm is not electroencephalographic that the agitator is systematics and it is a Iridoprocne is false. sent3: the fact that the blindworm is both electroencephalographic and systematics is incorrect if there is something such that it is a kind of a Iridoprocne. sent4: if there is something such that it is not a kind of a Iridoprocne then the blindworm is electroencephalographic and it is systematics. sent5: the fact that the agitator is a Iridoprocne and is electroencephalographic is not right if the fact that the blindworm is not systematics hold. sent6: if the agitator is a Iridoprocne that the blindworm is electroencephalographic and it is systematics does not hold. sent7: the fact that the blindworm is systematics and it is a Iridoprocne is not true if the agitator is not electroencephalographic. sent8: the blindworm is not a tael and it is not systematics if the chart is not a self-service. sent9: if there exists something such that it is not a Iridoprocne then the fact that the blindworm is electroencephalographic and it is systematics is false. sent10: the blindworm is electroencephalographic and it is systematics if the agitator is not a Iridoprocne. sent11: if the blindworm is not systematics the outfall is not electroencephalographic and is not a kind of a Iridoprocne. ; $proof$ = 
void -> assump1: Let's assume that that the agitator is not a Iridoprocne is correct.; assump1 -> int1: there is something such that it is not a Iridoprocne.; int1 & sent9 -> int2: that the blindworm is electroencephalographic and it is systematics is incorrect.; [assump1] & int2 -> hypothesis; __PROVED__