the BA does swim mews and it pairs rhinotomy.
sent1: if the kunzite is not uncommon then the BA does swim mews and it does pair rhinotomy. sent2: if the fact that something is both not a spic and a breakwater does not hold it does not swim BA. sent3: the kunzite exports but it is not uncommon if the orangutan is not an exports. sent4: if the cyclist does not swim BA the fact that the advancer does not diazotize and/or is not a kind of a charger is not right. sent5: if the advancer swims mews and it is a breakwater the cyclist does not swims mews. sent6: if the fact that the advancer does not diazotize or it is not a kind of a charger or both is not true then the orangutan is not a kind of an exporting. sent7: the cyclist is a spic.
void -> assump1: Let's assume that the cyclist is not a kind of a spic and is a kind of a breakwater.; assump1 -> int1: the cyclist is not a spic.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cyclist is not a kind of a spic but it is a breakwater does not hold.; sent2 -> int4: if that that that the cyclist is not a spic and is a kind of a breakwater is not false is incorrect hold the fact that it does not swim BA is true.; int3 & int4 -> int5: the cyclist does not swim BA.; int5 & sent4 -> int6: that the advancer either does not diazotize or is not a charger or both does not hold.; int6 & sent6 -> int7: the orangutan is not an exporting.; int7 & sent3 -> int8: the kunzite is an exporting and not uncommon.; int8 -> int9: the kunzite is not uncommon.; int9 & sent1 -> hypothesis;
that the BA swims mews and it pairs rhinotomy is wrong.
$hypothesis$ = the BA does swim mews and it pairs rhinotomy. ; $context$ = sent1: if the kunzite is not uncommon then the BA does swim mews and it does pair rhinotomy. sent2: if the fact that something is both not a spic and a breakwater does not hold it does not swim BA. sent3: the kunzite exports but it is not uncommon if the orangutan is not an exports. sent4: if the cyclist does not swim BA the fact that the advancer does not diazotize and/or is not a kind of a charger is not right. sent5: if the advancer swims mews and it is a breakwater the cyclist does not swims mews. sent6: if the fact that the advancer does not diazotize or it is not a kind of a charger or both is not true then the orangutan is not a kind of an exporting. sent7: the cyclist is a spic. ; $proof$ = 
void -> assump1: Let's assume that the cyclist is not a kind of a spic and is a kind of a breakwater.; assump1 -> int1: the cyclist is not a spic.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cyclist is not a kind of a spic but it is a breakwater does not hold.; sent2 -> int4: if that that that the cyclist is not a spic and is a kind of a breakwater is not false is incorrect hold the fact that it does not swim BA is true.; int3 & int4 -> int5: the cyclist does not swim BA.; int5 & sent4 -> int6: that the advancer either does not diazotize or is not a charger or both does not hold.; int6 & sent6 -> int7: the orangutan is not an exporting.; int7 & sent3 -> int8: the kunzite is an exporting and not uncommon.; int8 -> int9: the kunzite is not uncommon.; int9 & sent1 -> hypothesis; __PROVED__