the genius is not an announcement but it arches.
sent1: if that something is a kind of a gorge that housecleans is wrong then it is not an inhibitor. sent2: the genius does not stampede go-slow but it is a counterfeit. sent3: the genius is not an inhibitor if that it is not a kind of an arch and is an inhibitor is incorrect. sent4: the half-caste does not quench photoelectron. sent5: the roarer is an inhibitor if the needlefish is a kind of an announcement. sent6: that the half-caste housecleans but it is not a gorge does not hold. sent7: if the roarer does not demise biosafety it is both not a divide and a gorge. sent8: the fact that the half-caste is not a divide but a gorge is not true. sent9: if the half-caste is an inhibitor then the roarer does gorge. sent10: the genius does houseclean and is not an announcement. sent11: the half-caste does not houseclean and arches if that the genius does not houseclean is not wrong. sent12: the genius is not an announcement but it is an arch if the needlefish is not an announcement. sent13: if the roarer is an inhibitor the half-caste does houseclean. sent14: the half-caste does not demise Franciscan. sent15: if the roarer is not a divide but it gorges the needlefish does not gorges. sent16: the genius is not anacoluthic if the fact that it does not gorge and it is anacoluthic is incorrect. sent17: if that something is not a divide but a gorge does not hold then it is not a kind of a gorge. sent18: the roarer does not arch. sent19: if the genius is not a kind of a gorge the half-caste is not a gorge.
void -> assump1: Let's assume that the needlefish is a kind of an announcement.; sent5 & assump1 -> int1: the roarer is an inhibitor.; int1 & sent13 -> int2: the half-caste does houseclean.; sent17 -> int3: the half-caste is not a gorge if the fact that it is not a divide but a gorge does not hold.; int3 & sent8 -> int4: the half-caste is not a gorge.; int2 & int4 -> int5: the half-caste housecleans but it does not gorge.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the needlefish is not a kind of an announcement.; int7 & sent12 -> hypothesis;
the fact that the genius is not a kind of an announcement but it is an arch does not hold.
sent1 -> int8: the genius is not an inhibitor if the fact that it gorges and does houseclean does not hold.;
$hypothesis$ = the genius is not an announcement but it arches. ; $context$ = sent1: if that something is a kind of a gorge that housecleans is wrong then it is not an inhibitor. sent2: the genius does not stampede go-slow but it is a counterfeit. sent3: the genius is not an inhibitor if that it is not a kind of an arch and is an inhibitor is incorrect. sent4: the half-caste does not quench photoelectron. sent5: the roarer is an inhibitor if the needlefish is a kind of an announcement. sent6: that the half-caste housecleans but it is not a gorge does not hold. sent7: if the roarer does not demise biosafety it is both not a divide and a gorge. sent8: the fact that the half-caste is not a divide but a gorge is not true. sent9: if the half-caste is an inhibitor then the roarer does gorge. sent10: the genius does houseclean and is not an announcement. sent11: the half-caste does not houseclean and arches if that the genius does not houseclean is not wrong. sent12: the genius is not an announcement but it is an arch if the needlefish is not an announcement. sent13: if the roarer is an inhibitor the half-caste does houseclean. sent14: the half-caste does not demise Franciscan. sent15: if the roarer is not a divide but it gorges the needlefish does not gorges. sent16: the genius is not anacoluthic if the fact that it does not gorge and it is anacoluthic is incorrect. sent17: if that something is not a divide but a gorge does not hold then it is not a kind of a gorge. sent18: the roarer does not arch. sent19: if the genius is not a kind of a gorge the half-caste is not a gorge. ; $proof$ = 
void -> assump1: Let's assume that the needlefish is a kind of an announcement.; sent5 & assump1 -> int1: the roarer is an inhibitor.; int1 & sent13 -> int2: the half-caste does houseclean.; sent17 -> int3: the half-caste is not a gorge if the fact that it is not a divide but a gorge does not hold.; int3 & sent8 -> int4: the half-caste is not a gorge.; int2 & int4 -> int5: the half-caste housecleans but it does not gorge.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the needlefish is not a kind of an announcement.; int7 & sent12 -> hypothesis; __PROVED__