the swimsuit works.
sent1: the swimsuit is not a work if the fact that it does not perceive occasion and it does work is not true. sent2: the bidet is not a kind of a work. sent3: the bidet does not perceive occasion. sent4: the pore swamps housework if the swimsuit does not work. sent5: if the bidet does not perceive occasion then the pore does not swamp housework. sent6: the swimsuit is not a Auvergne. sent7: The occasion does not perceive bidet. sent8: if something does not swamp housework the fact that it does not perceive occasion and works is not true.
void -> assump1: Let's assume that the swimsuit is not a work.; sent4 & assump1 -> int1: the pore swamps housework.; sent5 & sent3 -> int2: the pore does not swamp housework.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the swimsuit does not work.
sent8 -> int4: if the swimsuit does not swamp housework the fact that it does not perceive occasion and it is a work is not true.;
$hypothesis$ = the swimsuit works. ; $context$ = sent1: the swimsuit is not a work if the fact that it does not perceive occasion and it does work is not true. sent2: the bidet is not a kind of a work. sent3: the bidet does not perceive occasion. sent4: the pore swamps housework if the swimsuit does not work. sent5: if the bidet does not perceive occasion then the pore does not swamp housework. sent6: the swimsuit is not a Auvergne. sent7: The occasion does not perceive bidet. sent8: if something does not swamp housework the fact that it does not perceive occasion and works is not true. ; $proof$ = 
void -> assump1: Let's assume that the swimsuit is not a work.; sent4 & assump1 -> int1: the pore swamps housework.; sent5 & sent3 -> int2: the pore does not swamp housework.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__