the myrmecophile is not vicennial.
sent1: if there is something such that it is a Strepera the sniffer is not unsusceptible. sent2: the fact that the fire-wheel is a dentistry that does not glare anthurium is not true if the myrmecophile is vicennial. sent3: something is a kind of a trembles that is conciliatory if it is not unsusceptible. sent4: the anthurium does not resound if there exists something such that either it is not a kind of a lector or it does not resound or both. sent5: that the sniffer retrenches is true if there is something such that it is not a kind of a dentistry. sent6: something that ropes downtown is a Nevelson. sent7: something is a Nevelson if it does tremble. sent8: if there is something such that the fact that it is a dentistry and it does not glare anthurium is incorrect then that the sniffer does retrench is correct. sent9: the floatplane is not a lector and/or it does not resound if it does not concoct solidus. sent10: the fact that the W ropes downtown is right. sent11: if there is something such that it does not resound then the fact that the coney resound but it is not a Strepera is not right. sent12: if that the coney does resound and is not a Strepera is not correct then it is a Strepera. sent13: the floatplane does not concoct solidus. sent14: the coney is not a kind of a Nevelson. sent15: if that the sniffer retrenches hold then the coney does rope downtown. sent16: the fact that the fire-wheel does not retrench and it does not rope downtown is incorrect if the fact that the sniffer is a Nevelson is right.
void -> assump1: Let's assume that the myrmecophile is vicennial.; sent2 & assump1 -> int1: that the fire-wheel is a dentistry but it does not glare anthurium does not hold.; int1 -> int2: there is something such that that it is a kind of a dentistry and does not glare anthurium is wrong.; int2 & sent8 -> int3: the sniffer does retrench.; int3 & sent15 -> int4: the coney does rope downtown.; sent6 -> int5: if the coney ropes downtown then it is a Nevelson.; int4 & int5 -> int6: the coney is a Nevelson.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the myrmecophile is vicennial.
sent7 -> int8: the sniffer is a kind of a Nevelson if it is a kind of a trembles.; sent3 -> int9: if the fact that the sniffer is not unsusceptible hold it is a kind of a trembles and is conciliatory.; sent9 & sent13 -> int10: the floatplane is not a lector and/or does not resound.; int10 -> int11: that something is not a kind of a lector or it does not resound or both is right.; int11 & sent4 -> int12: the anthurium does not resound.; int12 -> int13: there is something such that it does not resound.; int13 & sent11 -> int14: that the coney does resound and is not a Strepera is not correct.; sent12 & int14 -> int15: the coney is a Strepera.; int15 -> int16: there is something such that it is a Strepera.; int16 & sent1 -> int17: the sniffer is not unsusceptible.; int9 & int17 -> int18: the sniffer trembles and is conciliatory.; int18 -> int19: the fact that the sniffer is a trembles is correct.; int8 & int19 -> int20: the sniffer is a Nevelson.; sent16 & int20 -> int21: that the fact that the fire-wheel does not retrench and it does not rope downtown hold does not hold.; int21 -> int22: there is something such that that it does not retrench and it does not rope downtown is not correct.;
$hypothesis$ = the myrmecophile is not vicennial. ; $context$ = sent1: if there is something such that it is a Strepera the sniffer is not unsusceptible. sent2: the fact that the fire-wheel is a dentistry that does not glare anthurium is not true if the myrmecophile is vicennial. sent3: something is a kind of a trembles that is conciliatory if it is not unsusceptible. sent4: the anthurium does not resound if there exists something such that either it is not a kind of a lector or it does not resound or both. sent5: that the sniffer retrenches is true if there is something such that it is not a kind of a dentistry. sent6: something that ropes downtown is a Nevelson. sent7: something is a Nevelson if it does tremble. sent8: if there is something such that the fact that it is a dentistry and it does not glare anthurium is incorrect then that the sniffer does retrench is correct. sent9: the floatplane is not a lector and/or it does not resound if it does not concoct solidus. sent10: the fact that the W ropes downtown is right. sent11: if there is something such that it does not resound then the fact that the coney resound but it is not a Strepera is not right. sent12: if that the coney does resound and is not a Strepera is not correct then it is a Strepera. sent13: the floatplane does not concoct solidus. sent14: the coney is not a kind of a Nevelson. sent15: if that the sniffer retrenches hold then the coney does rope downtown. sent16: the fact that the fire-wheel does not retrench and it does not rope downtown is incorrect if the fact that the sniffer is a Nevelson is right. ; $proof$ = 
void -> assump1: Let's assume that the myrmecophile is vicennial.; sent2 & assump1 -> int1: that the fire-wheel is a dentistry but it does not glare anthurium does not hold.; int1 -> int2: there is something such that that it is a kind of a dentistry and does not glare anthurium is wrong.; int2 & sent8 -> int3: the sniffer does retrench.; int3 & sent15 -> int4: the coney does rope downtown.; sent6 -> int5: if the coney ropes downtown then it is a Nevelson.; int4 & int5 -> int6: the coney is a Nevelson.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__