the clambake is not a Kinshasa.
sent1: something sickens sandfly. sent2: if the fact that something either does not sicken fusilier or does sicken relativity or both does not hold it does not gather ablactation. sent3: if that the sandfly does not sicken sandfly is correct that it does not sicken fusilier and/or it sickens relativity does not hold. sent4: if the fact that something does sicken fusilier and/or does sicken relativity is not right it does not gather ablactation. sent5: the straightener is a alexic if the clambake is a Kinshasa. sent6: the sandfly sickens fusilier. sent7: the sandfly does sicken fusilier if it does not sicken sandfly. sent8: if that the fishbowl does not sicken fusilier and sickens relativity is not wrong then the jonquil does not gather ablactation. sent9: the sandfly does not sicken sandfly. sent10: if the fact that the sandfly sickens fusilier and/or it sickens relativity is not true then it does not gather ablactation. sent11: The sandfly does not sicken sandfly. sent12: if the straightener is a alexic then the sandfly gathers ablactation.
void -> assump1: Let's assume that the fact that the clambake is a kind of a Kinshasa is not false.; sent5 & assump1 -> int1: the straightener is a kind of a alexic.; int1 & sent12 -> int2: that the sandfly gathers ablactation is correct.; sent2 -> int3: the sandfly does not gather ablactation if that it does not sicken fusilier and/or it sickens relativity does not hold.; sent3 & sent9 -> int4: the fact that the sandfly does not sicken fusilier and/or does sicken relativity does not hold.; int3 & int4 -> int5: the sandfly does not gather ablactation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the clambake is a Kinshasa.
$hypothesis$ = the clambake is not a Kinshasa. ; $context$ = sent1: something sickens sandfly. sent2: if the fact that something either does not sicken fusilier or does sicken relativity or both does not hold it does not gather ablactation. sent3: if that the sandfly does not sicken sandfly is correct that it does not sicken fusilier and/or it sickens relativity does not hold. sent4: if the fact that something does sicken fusilier and/or does sicken relativity is not right it does not gather ablactation. sent5: the straightener is a alexic if the clambake is a Kinshasa. sent6: the sandfly sickens fusilier. sent7: the sandfly does sicken fusilier if it does not sicken sandfly. sent8: if that the fishbowl does not sicken fusilier and sickens relativity is not wrong then the jonquil does not gather ablactation. sent9: the sandfly does not sicken sandfly. sent10: if the fact that the sandfly sickens fusilier and/or it sickens relativity is not true then it does not gather ablactation. sent11: The sandfly does not sicken sandfly. sent12: if the straightener is a alexic then the sandfly gathers ablactation. ; $proof$ = 
void -> assump1: Let's assume that the fact that the clambake is a kind of a Kinshasa is not false.; sent5 & assump1 -> int1: the straightener is a kind of a alexic.; int1 & sent12 -> int2: that the sandfly gathers ablactation is correct.; sent2 -> int3: the sandfly does not gather ablactation if that it does not sicken fusilier and/or it sickens relativity does not hold.; sent3 & sent9 -> int4: the fact that the sandfly does not sicken fusilier and/or does sicken relativity does not hold.; int3 & int4 -> int5: the sandfly does not gather ablactation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__