the fact that if the Floridian is a skinniness then the histologist is not a jack or it does not overuse agnosia or both is not right.
sent1: the fact that something is a uncreativeness is correct if the fact that it is not a kind of a skinniness is false. sent2: if the fact that something is a uncreativeness and does tip myeloblast is wrong it is not a kind of a skinniness. sent3: the partner is not a kind of a skinniness and/or it is a uncreativeness. sent4: the histologist is a jack. sent5: the partner does not tip myeloblast if that the Floridian is not a uncreativeness and/or it is not a kind of a skinniness does not hold. sent6: if that the partner is not a uncreativeness hold that the Floridian is a uncreativeness and tips myeloblast is wrong. sent7: either the partner is not a kind of a uncreativeness or it does not tip myeloblast or both. sent8: the histologist does jack or it does not overuse agnosia or both. sent9: if that the histologist is not a kind of a jack or it does overuse agnosia or both is incorrect then the partner is not a kind of a uncreativeness. sent10: the partner is not a uncreativeness if the fact that the histologist is not a jack and/or does not overuse agnosia is incorrect. sent11: if the fact that the histologist does jack and/or does not overuse agnosia is wrong then that the partner is not a uncreativeness hold.
void -> assump1: Let's assume that that the histologist is not a jack and/or it does not overuse agnosia is not right.; sent10 & assump1 -> int1: the partner is not a uncreativeness.; int1 & sent6 -> int2: the fact that the Floridian is a uncreativeness and does tip myeloblast is incorrect.; sent2 -> int3: if the fact that the Floridian is a kind of a uncreativeness and it does tip myeloblast is incorrect then it is not a kind of a skinniness.; int2 & int3 -> int4: the Floridian is not a skinniness.; void -> assump2: Let's assume that the fact that the Floridian is a kind of a skinniness is not false.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the histologist either is not a jack or does not overuse agnosia or both.; [assump2] & int6 -> hypothesis;
the egomaniac is a uncreativeness.
sent1 -> int7: the egomaniac is a uncreativeness if it is a skinniness.;
$hypothesis$ = the fact that if the Floridian is a skinniness then the histologist is not a jack or it does not overuse agnosia or both is not right. ; $context$ = sent1: the fact that something is a uncreativeness is correct if the fact that it is not a kind of a skinniness is false. sent2: if the fact that something is a uncreativeness and does tip myeloblast is wrong it is not a kind of a skinniness. sent3: the partner is not a kind of a skinniness and/or it is a uncreativeness. sent4: the histologist is a jack. sent5: the partner does not tip myeloblast if that the Floridian is not a uncreativeness and/or it is not a kind of a skinniness does not hold. sent6: if that the partner is not a uncreativeness hold that the Floridian is a uncreativeness and tips myeloblast is wrong. sent7: either the partner is not a kind of a uncreativeness or it does not tip myeloblast or both. sent8: the histologist does jack or it does not overuse agnosia or both. sent9: if that the histologist is not a kind of a jack or it does overuse agnosia or both is incorrect then the partner is not a kind of a uncreativeness. sent10: the partner is not a uncreativeness if the fact that the histologist is not a jack and/or does not overuse agnosia is incorrect. sent11: if the fact that the histologist does jack and/or does not overuse agnosia is wrong then that the partner is not a uncreativeness hold. ; $proof$ = 
void -> assump1: Let's assume that that the histologist is not a jack and/or it does not overuse agnosia is not right.; sent10 & assump1 -> int1: the partner is not a uncreativeness.; int1 & sent6 -> int2: the fact that the Floridian is a uncreativeness and does tip myeloblast is incorrect.; sent2 -> int3: if the fact that the Floridian is a kind of a uncreativeness and it does tip myeloblast is incorrect then it is not a kind of a skinniness.; int2 & int3 -> int4: the Floridian is not a skinniness.; void -> assump2: Let's assume that the fact that the Floridian is a kind of a skinniness is not false.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the histologist either is not a jack or does not overuse agnosia or both.; [assump2] & int6 -> hypothesis; __DISPROVED__