the amphibolite does not depress but it is maritime.
sent1: that the kazoo is botryoid and/or it does not edge Capone is wrong if the endotoxin is inconstant. sent2: the foster-brother enlivens if something is not a volt and is Rousseauan. sent3: something is not botryoid if it does edge Capone and is cervine. sent4: something does edge Capone and is cervine if that it is not a usury hold. sent5: there is something such that that it is Rousseauan is not incorrect. sent6: the endotoxin is inconstant if there exists something such that the fact that it is not a volt and it is Rousseauan does not hold. sent7: something is a usury if it is not inconstant or it does not enliven or both. sent8: the fact that the fact that the amphibolite does not depress but it is maritime does not hold is not wrong if the facula is not cervine. sent9: something is not a usury and is a Skinnerian. sent10: if the foster-brother is not botryoid the amphibolite is inconstant and enlivens. sent11: the foster-brother does not enliven if something that is not a usury is a kind of a Skinnerian. sent12: something does not depress but it is maritime if it enlivens. sent13: if the fact that the kazoo is botryoid and/or it does not edge Capone is not correct the facula is not cervine.
void -> assump1: Let's assume that the shaker is not a kind of a volt but it is Rousseauan.; assump1 -> int1: something is not a kind of a volt but it is Rousseauan.; int1 & sent2 -> int2: the foster-brother does enliven.; sent9 & sent11 -> int3: the foster-brother does not enliven.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the shaker is not a volt but it is Rousseauan is not right.; int5 -> int6: there exists something such that the fact that that it is not a volt and it is Rousseauan is not incorrect is false.; int6 & sent6 -> int7: the endotoxin is inconstant.; int7 & sent1 -> int8: the fact that the kazoo is botryoid or does not edge Capone or both does not hold.; int8 & sent13 -> int9: the facula is not cervine.; int9 & sent8 -> hypothesis;
the amphibolite does not depress and is maritime.
sent12 -> int10: if the amphibolite enlivens it does not depress and is not non-maritime.; sent3 -> int11: the foster-brother is not botryoid if it does edge Capone and it is cervine.; sent4 -> int12: the foster-brother edges Capone and it is cervine if it is not a kind of a usury.;
$hypothesis$ = the amphibolite does not depress but it is maritime. ; $context$ = sent1: that the kazoo is botryoid and/or it does not edge Capone is wrong if the endotoxin is inconstant. sent2: the foster-brother enlivens if something is not a volt and is Rousseauan. sent3: something is not botryoid if it does edge Capone and is cervine. sent4: something does edge Capone and is cervine if that it is not a usury hold. sent5: there is something such that that it is Rousseauan is not incorrect. sent6: the endotoxin is inconstant if there exists something such that the fact that it is not a volt and it is Rousseauan does not hold. sent7: something is a usury if it is not inconstant or it does not enliven or both. sent8: the fact that the fact that the amphibolite does not depress but it is maritime does not hold is not wrong if the facula is not cervine. sent9: something is not a usury and is a Skinnerian. sent10: if the foster-brother is not botryoid the amphibolite is inconstant and enlivens. sent11: the foster-brother does not enliven if something that is not a usury is a kind of a Skinnerian. sent12: something does not depress but it is maritime if it enlivens. sent13: if the fact that the kazoo is botryoid and/or it does not edge Capone is not correct the facula is not cervine. ; $proof$ = 
void -> assump1: Let's assume that the shaker is not a kind of a volt but it is Rousseauan.; assump1 -> int1: something is not a kind of a volt but it is Rousseauan.; int1 & sent2 -> int2: the foster-brother does enliven.; sent9 & sent11 -> int3: the foster-brother does not enliven.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the shaker is not a volt but it is Rousseauan is not right.; int5 -> int6: there exists something such that the fact that that it is not a volt and it is Rousseauan is not incorrect is false.; int6 & sent6 -> int7: the endotoxin is inconstant.; int7 & sent1 -> int8: the fact that the kazoo is botryoid or does not edge Capone or both does not hold.; int8 & sent13 -> int9: the facula is not cervine.; int9 & sent8 -> hypothesis; __DISPROVED__