the Phrygian celebrates and is a kind of a swatter.
sent1: the sharpie is uncivil if the Clorox is Boolean thing that does not circumvallate pilchard. sent2: the Clorox is Boolean and does not circumvallate pilchard if the cabaret does not circumvallate pilchard. sent3: the Clorox does not circumvallate pilchard. sent4: the wattle does not celebrate if the fact that the ogler is both not uncivil and not preanal is incorrect. sent5: if the sharpie is uncivil then the fact that the ogler is both uncivil and not preanal is wrong. sent6: if the cabaret does circumvallate pilchard the porpoise is a stalk. sent7: that the Phrygian celebrates and it does swatter does not hold if the fact that the wattle does not celebrates is true. sent8: if the cabaret does not circumvallate pilchard then the Clorox does not circumvallate pilchard. sent9: that the ogler is both civil and preanal is wrong if the sharpie is civil. sent10: the porpoise is not a stalk. sent11: that that the ogler is non-uncivil thing that is preanal is right is not right. sent12: if the sharpie is uncivil then that the ogler is uncivil but it is not preanal does not hold.
void -> assump1: Let's assume that that the cabaret does circumvallate pilchard is correct.; sent6 & assump1 -> int1: the porpoise does stalk.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cabaret does not circumvallate pilchard.; int3 & sent2 -> int4: the Clorox is Boolean but it does not circumvallate pilchard.; int4 & sent1 -> int5: the sharpie is uncivil.; int5 & sent5 -> int6: that the ogler is not uncivil and it is not preanal is not correct.; int6 & sent4 -> int7: the wattle does not celebrate.; int7 & sent7 -> hypothesis;
$hypothesis$ = the Phrygian celebrates and is a kind of a swatter. ; $context$ = sent1: the sharpie is uncivil if the Clorox is Boolean thing that does not circumvallate pilchard. sent2: the Clorox is Boolean and does not circumvallate pilchard if the cabaret does not circumvallate pilchard. sent3: the Clorox does not circumvallate pilchard. sent4: the wattle does not celebrate if the fact that the ogler is both not uncivil and not preanal is incorrect. sent5: if the sharpie is uncivil then the fact that the ogler is both uncivil and not preanal is wrong. sent6: if the cabaret does circumvallate pilchard the porpoise is a stalk. sent7: that the Phrygian celebrates and it does swatter does not hold if the fact that the wattle does not celebrates is true. sent8: if the cabaret does not circumvallate pilchard then the Clorox does not circumvallate pilchard. sent9: that the ogler is both civil and preanal is wrong if the sharpie is civil. sent10: the porpoise is not a stalk. sent11: that that the ogler is non-uncivil thing that is preanal is right is not right. sent12: if the sharpie is uncivil then that the ogler is uncivil but it is not preanal does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the cabaret does circumvallate pilchard is correct.; sent6 & assump1 -> int1: the porpoise does stalk.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cabaret does not circumvallate pilchard.; int3 & sent2 -> int4: the Clorox is Boolean but it does not circumvallate pilchard.; int4 & sent1 -> int5: the sharpie is uncivil.; int5 & sent5 -> int6: that the ogler is not uncivil and it is not preanal is not correct.; int6 & sent4 -> int7: the wattle does not celebrate.; int7 & sent7 -> hypothesis; __DISPROVED__