the blackpoll is a Ryukyuan.
sent1: the coralberry does jiggle necromancer. sent2: if the fact that the cruse is not dermatologic but it is unworthy is false it is bronchoscopic. sent3: if the coralberry does jiggle necromancer then it is saccadic. sent4: if the fact that the packer is saccadic thing that jiggles necromancer does not hold the blackpoll is not a Ryukyuan. sent5: The necromancer does jiggle coralberry. sent6: the blackpoll is a Ryukyuan if there is something such that it is a abwatt or it is not a Modicon or both. sent7: if the fact that the packer is a kind of a abwatt or it is not a Modicon or both is false then the coralberry is not saccadic.
void -> assump1: Let's assume that that the packer is a abwatt and/or it is not a kind of a Modicon is incorrect.; sent7 & assump1 -> int1: the coralberry is not saccadic.; sent3 & sent1 -> int2: the coralberry is saccadic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the packer is a abwatt and/or not a Modicon.; int4 -> int5: something is a kind of a abwatt or is not a kind of a Modicon or both.; int5 & sent6 -> hypothesis;
the blackpoll is not a Ryukyuan.
$hypothesis$ = the blackpoll is a Ryukyuan. ; $context$ = sent1: the coralberry does jiggle necromancer. sent2: if the fact that the cruse is not dermatologic but it is unworthy is false it is bronchoscopic. sent3: if the coralberry does jiggle necromancer then it is saccadic. sent4: if the fact that the packer is saccadic thing that jiggles necromancer does not hold the blackpoll is not a Ryukyuan. sent5: The necromancer does jiggle coralberry. sent6: the blackpoll is a Ryukyuan if there is something such that it is a abwatt or it is not a Modicon or both. sent7: if the fact that the packer is a kind of a abwatt or it is not a Modicon or both is false then the coralberry is not saccadic. ; $proof$ = 
void -> assump1: Let's assume that that the packer is a abwatt and/or it is not a kind of a Modicon is incorrect.; sent7 & assump1 -> int1: the coralberry is not saccadic.; sent3 & sent1 -> int2: the coralberry is saccadic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the packer is a abwatt and/or not a Modicon.; int4 -> int5: something is a kind of a abwatt or is not a kind of a Modicon or both.; int5 & sent6 -> hypothesis; __PROVED__