the fact that there is something such that it segregates Pollock and it embowers antiprotozoal is wrong.
sent1: The millivoltmeter does not usher antiprotozoal. sent2: that the fennel does not embower Pycnanthemum but it does exhilarate Marxist does not hold. sent3: the antiprotozoal segregates Pollock if there is something such that the fact that it does not embower Pycnanthemum and exhilarates Marxist is not true. sent4: the antiprotozoal does not usher millivoltmeter. sent5: something ushers millivoltmeter if it does not embower antiprotozoal.
sent5 -> int1: the antiprotozoal does usher millivoltmeter if it does not embower antiprotozoal.; void -> assump1: Let's assume that the antiprotozoal does not embower antiprotozoal.; int1 & assump1 -> int2: the antiprotozoal ushers millivoltmeter.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the antiprotozoal does embower antiprotozoal.; sent2 -> int5: there is something such that that it does not embower Pycnanthemum and it exhilarates Marxist is false.; int5 & sent3 -> int6: the antiprotozoal does segregate Pollock.; int4 & int6 -> int7: that the antiprotozoal does segregate Pollock and embowers antiprotozoal hold.; int7 -> hypothesis;
$hypothesis$ = the fact that there is something such that it segregates Pollock and it embowers antiprotozoal is wrong. ; $context$ = sent1: The millivoltmeter does not usher antiprotozoal. sent2: that the fennel does not embower Pycnanthemum but it does exhilarate Marxist does not hold. sent3: the antiprotozoal segregates Pollock if there is something such that the fact that it does not embower Pycnanthemum and exhilarates Marxist is not true. sent4: the antiprotozoal does not usher millivoltmeter. sent5: something ushers millivoltmeter if it does not embower antiprotozoal. ; $proof$ = 
sent5 -> int1: the antiprotozoal does usher millivoltmeter if it does not embower antiprotozoal.; void -> assump1: Let's assume that the antiprotozoal does not embower antiprotozoal.; int1 & assump1 -> int2: the antiprotozoal ushers millivoltmeter.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the antiprotozoal does embower antiprotozoal.; sent2 -> int5: there is something such that that it does not embower Pycnanthemum and it exhilarates Marxist is false.; int5 & sent3 -> int6: the antiprotozoal does segregate Pollock.; int4 & int6 -> int7: that the antiprotozoal does segregate Pollock and embowers antiprotozoal hold.; int7 -> hypothesis; __DISPROVED__