that the bacteriostat is a scruple and it does pack is not true.
sent1: there is something such that it is predicative and/or it wrests grunt. sent2: the fact that something is not synchronic but it does mystify religiousness is not right if the fact that it is a funicular hold. sent3: something is a scruple and it does pack if it is not a kind of a funicular. sent4: if the nephrolith mystifies deduction and does not mystify religiousness then the bacteriostat is not a funicular. sent5: if the squirrelfish mystifies religiousness then it is synchronic. sent6: if the nephrolith mystifies deduction and mystifies religiousness then the bacteriostat is not funicular. sent7: if the fact that the squirrelfish does not mystify religiousness is not incorrect then the nephrolith does mystify deduction but it does not mystify religiousness. sent8: if something wrests grunt then that the squirrelfish is not synchronic hold. sent9: the squirrelfish is not synchronic if either something is not predicative or it does wrest grunt or both. sent10: something that is not a funicular is a kind of a packing. sent11: the bacteriostat is a kind of a packing. sent12: something is not a kind of a scruple if the fact that it is not synchronic and mystifies religiousness does not hold. sent13: the nephrolith does not mystify religiousness if the squirrelfish does not mystify religiousness. sent14: there is something such that it is not predicative and/or wrests grunt.
void -> assump1: Let's assume that the squirrelfish does mystify religiousness.; sent5 & assump1 -> int1: the squirrelfish is synchronic.; sent14 & sent9 -> int2: the squirrelfish is not synchronic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squirrelfish does not mystify religiousness.; int4 & sent7 -> int5: the nephrolith does mystify deduction but it does not mystify religiousness.; int5 & sent4 -> int6: the bacteriostat is not a funicular.; sent3 -> int7: the bacteriostat does scruple and it is a kind of a packing if it is not a funicular.; int6 & int7 -> hypothesis;
that the bacteriostat is a scruple and a packing is not true.
sent12 -> int8: the squirrelfish is not a scruple if that it is not synchronic and it mystifies religiousness is not correct.; sent2 -> int9: if the squirrelfish is a funicular the fact that it is not synchronic and mystifies religiousness is not right.;
$hypothesis$ = that the bacteriostat is a scruple and it does pack is not true. ; $context$ = sent1: there is something such that it is predicative and/or it wrests grunt. sent2: the fact that something is not synchronic but it does mystify religiousness is not right if the fact that it is a funicular hold. sent3: something is a scruple and it does pack if it is not a kind of a funicular. sent4: if the nephrolith mystifies deduction and does not mystify religiousness then the bacteriostat is not a funicular. sent5: if the squirrelfish mystifies religiousness then it is synchronic. sent6: if the nephrolith mystifies deduction and mystifies religiousness then the bacteriostat is not funicular. sent7: if the fact that the squirrelfish does not mystify religiousness is not incorrect then the nephrolith does mystify deduction but it does not mystify religiousness. sent8: if something wrests grunt then that the squirrelfish is not synchronic hold. sent9: the squirrelfish is not synchronic if either something is not predicative or it does wrest grunt or both. sent10: something that is not a funicular is a kind of a packing. sent11: the bacteriostat is a kind of a packing. sent12: something is not a kind of a scruple if the fact that it is not synchronic and mystifies religiousness does not hold. sent13: the nephrolith does not mystify religiousness if the squirrelfish does not mystify religiousness. sent14: there is something such that it is not predicative and/or wrests grunt. ; $proof$ = 
void -> assump1: Let's assume that the squirrelfish does mystify religiousness.; sent5 & assump1 -> int1: the squirrelfish is synchronic.; sent14 & sent9 -> int2: the squirrelfish is not synchronic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squirrelfish does not mystify religiousness.; int4 & sent7 -> int5: the nephrolith does mystify deduction but it does not mystify religiousness.; int5 & sent4 -> int6: the bacteriostat is not a funicular.; sent3 -> int7: the bacteriostat does scruple and it is a kind of a packing if it is not a funicular.; int6 & int7 -> hypothesis; __DISPROVED__