the antifeminist does scent Cockaigne.
sent1: the blintz is important. sent2: the fact that the blintz is not important and scents insemination is incorrect. sent3: the blintz is not a famulus if there exists something such that it does not scent insemination and it is not more. sent4: if that something does not scent insemination and it is not more is not right then it does scent Cockaigne. sent5: the blintz is not a famulus if something that does not scent insemination is more. sent6: if that the blintz is important is not false then it is a famulus. sent7: there exists something such that that it is nonclassical and does service sour does not hold. sent8: something scents insemination but it is not more.
void -> assump1: Let's assume that the antifeminist does not scent insemination and it is not more.; assump1 -> int1: something does not scent insemination and is not more.; int1 & sent3 -> int2: the blintz is not a famulus.; sent6 & sent1 -> int3: that the blintz is a famulus is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fact that the antifeminist does not scent insemination and it is not more is not wrong is false.; sent4 -> int6: if the fact that the antifeminist does not scent insemination and is not more is false then the fact that it scents Cockaigne is not wrong.; int5 & int6 -> hypothesis;
the blast is important.
$hypothesis$ = the antifeminist does scent Cockaigne. ; $context$ = sent1: the blintz is important. sent2: the fact that the blintz is not important and scents insemination is incorrect. sent3: the blintz is not a famulus if there exists something such that it does not scent insemination and it is not more. sent4: if that something does not scent insemination and it is not more is not right then it does scent Cockaigne. sent5: the blintz is not a famulus if something that does not scent insemination is more. sent6: if that the blintz is important is not false then it is a famulus. sent7: there exists something such that that it is nonclassical and does service sour does not hold. sent8: something scents insemination but it is not more. ; $proof$ = 
void -> assump1: Let's assume that the antifeminist does not scent insemination and it is not more.; assump1 -> int1: something does not scent insemination and is not more.; int1 & sent3 -> int2: the blintz is not a famulus.; sent6 & sent1 -> int3: that the blintz is a famulus is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fact that the antifeminist does not scent insemination and it is not more is not wrong is false.; sent4 -> int6: if the fact that the antifeminist does not scent insemination and is not more is false then the fact that it scents Cockaigne is not wrong.; int5 & int6 -> hypothesis; __PROVED__