the fact that either something is a heavyheartedness or it is a kind of a nibbed or both does not hold.
sent1: the fact that the prickleback is not Gibraltarian but it slinks discus does not hold if it is not a heavyheartedness. sent2: if that the prickleback is not a kind of a heavyheartedness is not false then that it is not a kind of a Gibraltarian and it does not slink discus is incorrect. sent3: the midazolam is non-Gibraltarian. sent4: the fact that that the prickleback does not number Xenopodidae and it is not a nibbed hold does not hold. sent5: that the prickleback is not a Gibraltarian and slinks discus is not true. sent6: something is not an impeachment and it is not a pistol if it does not slink discus. sent7: the prickleback does number inhabitancy. sent8: the survivalist marbles sheikdom and/or it is Fijian. sent9: the prickleback is not a kind of a ablution. sent10: the fact that the prickleback is a kind of a Gibraltarian that does not slink discus is not true. sent11: the prickleback does not marble drugget and it is not a seascape. sent12: the prickleback is non-Gibraltarian thing that does not slink discus if it is not a ablution. sent13: the anode is a Gibraltarian.
void -> assump1: Let's assume that the prickleback is not a heavyheartedness.; sent2 & assump1 -> int1: the fact that the prickleback is not a Gibraltarian and it does not slink discus is not right.; sent12 & sent9 -> int2: the prickleback is non-Gibraltarian thing that does not slink discus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the prickleback is a heavyheartedness.; int4 -> int5: the prickleback is a heavyheartedness and/or a nibbed.; int5 -> hypothesis;
the sheikdom is not an impeachment and it is not a pistol if it does not slink discus.
sent6 -> hypothesis;
$hypothesis$ = the fact that either something is a heavyheartedness or it is a kind of a nibbed or both does not hold. ; $context$ = sent1: the fact that the prickleback is not Gibraltarian but it slinks discus does not hold if it is not a heavyheartedness. sent2: if that the prickleback is not a kind of a heavyheartedness is not false then that it is not a kind of a Gibraltarian and it does not slink discus is incorrect. sent3: the midazolam is non-Gibraltarian. sent4: the fact that that the prickleback does not number Xenopodidae and it is not a nibbed hold does not hold. sent5: that the prickleback is not a Gibraltarian and slinks discus is not true. sent6: something is not an impeachment and it is not a pistol if it does not slink discus. sent7: the prickleback does number inhabitancy. sent8: the survivalist marbles sheikdom and/or it is Fijian. sent9: the prickleback is not a kind of a ablution. sent10: the fact that the prickleback is a kind of a Gibraltarian that does not slink discus is not true. sent11: the prickleback does not marble drugget and it is not a seascape. sent12: the prickleback is non-Gibraltarian thing that does not slink discus if it is not a ablution. sent13: the anode is a Gibraltarian. ; $proof$ = 
void -> assump1: Let's assume that the prickleback is not a heavyheartedness.; sent2 & assump1 -> int1: the fact that the prickleback is not a Gibraltarian and it does not slink discus is not right.; sent12 & sent9 -> int2: the prickleback is non-Gibraltarian thing that does not slink discus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the prickleback is a heavyheartedness.; int4 -> int5: the prickleback is a heavyheartedness and/or a nibbed.; int5 -> hypothesis; __DISPROVED__