the fact that there exists something such that it does not parse beebalm is not right.
sent1: if the firewater does not fix gurnard then the fact that it is a satisfactoriness and it does not parse Constantine is not correct. sent2: that something is a thimble that fixes P.A. is wrong if it is not rabid. sent3: the weakfish is not a satisfactoriness if that it is a thimble and it fixes P.A. is not right. sent4: The gurnard does not fix firewater. sent5: the weakfish is a lighted. sent6: if the weakfish is a kind of a lighted that parses beebalm it is not rabid. sent7: the firewater does not fix gurnard. sent8: the firewater is a satisfactoriness but it does not parse Constantine if the weakfish is not a kind of a satisfactoriness. sent9: the weakfish is not a satisfactoriness if it does not fix P.A.. sent10: if the olivenite does not fix P.A. it is rabid and does not parse beebalm.
void -> assump1: Let's assume that the weakfish parses beebalm.; sent5 & assump1 -> int1: the weakfish is not unlighted and it does parse beebalm.; int1 & sent6 -> int2: the weakfish is not rabid.; sent2 -> int3: if the weakfish is not rabid the fact that it is a thimble and it does fix P.A. is false.; int2 & int3 -> int4: that the weakfish is a kind of a thimble that does fix P.A. is not true.; int4 & sent3 -> int5: the weakfish is not a satisfactoriness.; int5 & sent8 -> int6: that the firewater is a satisfactoriness and does not parse Constantine is not false.; sent1 & sent7 -> int7: that the fact that the firewater is a kind of a satisfactoriness but it does not parse Constantine is not right is not incorrect.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the weakfish does not parse beebalm.; int9 -> hypothesis;
the olivenite is not a thimble.
$hypothesis$ = the fact that there exists something such that it does not parse beebalm is not right. ; $context$ = sent1: if the firewater does not fix gurnard then the fact that it is a satisfactoriness and it does not parse Constantine is not correct. sent2: that something is a thimble that fixes P.A. is wrong if it is not rabid. sent3: the weakfish is not a satisfactoriness if that it is a thimble and it fixes P.A. is not right. sent4: The gurnard does not fix firewater. sent5: the weakfish is a lighted. sent6: if the weakfish is a kind of a lighted that parses beebalm it is not rabid. sent7: the firewater does not fix gurnard. sent8: the firewater is a satisfactoriness but it does not parse Constantine if the weakfish is not a kind of a satisfactoriness. sent9: the weakfish is not a satisfactoriness if it does not fix P.A.. sent10: if the olivenite does not fix P.A. it is rabid and does not parse beebalm. ; $proof$ = 
void -> assump1: Let's assume that the weakfish parses beebalm.; sent5 & assump1 -> int1: the weakfish is not unlighted and it does parse beebalm.; int1 & sent6 -> int2: the weakfish is not rabid.; sent2 -> int3: if the weakfish is not rabid the fact that it is a thimble and it does fix P.A. is false.; int2 & int3 -> int4: that the weakfish is a kind of a thimble that does fix P.A. is not true.; int4 & sent3 -> int5: the weakfish is not a satisfactoriness.; int5 & sent8 -> int6: that the firewater is a satisfactoriness and does not parse Constantine is not false.; sent1 & sent7 -> int7: that the fact that the firewater is a kind of a satisfactoriness but it does not parse Constantine is not right is not incorrect.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the weakfish does not parse beebalm.; int9 -> hypothesis; __DISPROVED__