the fact that the gunite is cellular and/or it entrusts septum does not hold.
sent1: if something is a spongefly then it is anthropocentric. sent2: if there are spinal things then the fact that the gunite is cellular or it is anthropocentric or both does not hold. sent3: that either the gunite is cellular or it entrusts septum or both does not hold if something is anthropocentric. sent4: the gunite radios Chickasaw. sent5: if that the post does not drip and is an appendix does not hold then the gunite is not a kind of an appendix. sent6: the gunite is not cellular if there are anthropocentric things. sent7: if the lancers does not entrust septum the fact that the post is a spongefly and anthropocentric does not hold. sent8: the oriflamme is not a dripping if it radios Chickasaw and it is not a kind of a spinal. sent9: if that something is prognathous and is not marly does not hold it is tracheal. sent10: something is a kind of a spongefly if it does not radio Chickasaw. sent11: the gunite does radio Chickasaw but it does not entrust Micmac. sent12: the gunite is not cellular. sent13: everything drips. sent14: the oriflamme is a spongefly if it does not radio Chickasaw. sent15: the lancers does not entrust septum if that the Calvinist does not entrust septum and it is not cellular is false. sent16: the oriflamme does radio Chickasaw. sent17: that something is both not a dripping and an appendix is not true if that it is not a kind of a spongefly is right. sent18: the oriflamme is cellular if the fact that it is a kind of a dripping that does not radio Chickasaw does not hold. sent19: if the Calvinist does not entrust vambrace then the fact that it does not entrust septum and is not cellular does not hold. sent20: something does entrust septum if that it is both a dripping and not spinal is false. sent21: if the fact that something does radio Chickasaw but it is not a kind of a spinal does not hold then it is a spongefly.
void -> assump1: Let's assume that the oriflamme radios Chickasaw but it is not a spinal.; sent8 & assump1 -> int1: the oriflamme is not a dripping.; sent13 -> int2: the fact that the oriflamme drips hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the oriflamme does radio Chickasaw but it is not a spinal does not hold.; sent21 -> int5: the oriflamme is a spongefly if the fact that it does radio Chickasaw and is not spinal does not hold.; int4 & int5 -> int6: the oriflamme is a kind of a spongefly.; sent1 -> int7: the oriflamme is anthropocentric if it is a kind of a spongefly.; int6 & int7 -> int8: the oriflamme is anthropocentric.; int8 -> int9: there exists something such that that it is anthropocentric is right.; int9 & sent3 -> hypothesis;
the fact that the oriflamme is an appendix but it does not radio Chickasaw does not hold.
sent17 -> int10: that that the post does not drip but it is the appendix is not correct if the post is not a spongefly is not incorrect.;
$hypothesis$ = the fact that the gunite is cellular and/or it entrusts septum does not hold. ; $context$ = sent1: if something is a spongefly then it is anthropocentric. sent2: if there are spinal things then the fact that the gunite is cellular or it is anthropocentric or both does not hold. sent3: that either the gunite is cellular or it entrusts septum or both does not hold if something is anthropocentric. sent4: the gunite radios Chickasaw. sent5: if that the post does not drip and is an appendix does not hold then the gunite is not a kind of an appendix. sent6: the gunite is not cellular if there are anthropocentric things. sent7: if the lancers does not entrust septum the fact that the post is a spongefly and anthropocentric does not hold. sent8: the oriflamme is not a dripping if it radios Chickasaw and it is not a kind of a spinal. sent9: if that something is prognathous and is not marly does not hold it is tracheal. sent10: something is a kind of a spongefly if it does not radio Chickasaw. sent11: the gunite does radio Chickasaw but it does not entrust Micmac. sent12: the gunite is not cellular. sent13: everything drips. sent14: the oriflamme is a spongefly if it does not radio Chickasaw. sent15: the lancers does not entrust septum if that the Calvinist does not entrust septum and it is not cellular is false. sent16: the oriflamme does radio Chickasaw. sent17: that something is both not a dripping and an appendix is not true if that it is not a kind of a spongefly is right. sent18: the oriflamme is cellular if the fact that it is a kind of a dripping that does not radio Chickasaw does not hold. sent19: if the Calvinist does not entrust vambrace then the fact that it does not entrust septum and is not cellular does not hold. sent20: something does entrust septum if that it is both a dripping and not spinal is false. sent21: if the fact that something does radio Chickasaw but it is not a kind of a spinal does not hold then it is a spongefly. ; $proof$ = 
void -> assump1: Let's assume that the oriflamme radios Chickasaw but it is not a spinal.; sent8 & assump1 -> int1: the oriflamme is not a dripping.; sent13 -> int2: the fact that the oriflamme drips hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the oriflamme does radio Chickasaw but it is not a spinal does not hold.; sent21 -> int5: the oriflamme is a spongefly if the fact that it does radio Chickasaw and is not spinal does not hold.; int4 & int5 -> int6: the oriflamme is a kind of a spongefly.; sent1 -> int7: the oriflamme is anthropocentric if it is a kind of a spongefly.; int6 & int7 -> int8: the oriflamme is anthropocentric.; int8 -> int9: there exists something such that that it is anthropocentric is right.; int9 & sent3 -> hypothesis; __PROVED__