the coydog is not univalent.
sent1: the overgarment is irremovable. sent2: either the bowfin does not cleave aggravation or it is a kind of a prodrome or both if the pirate is not a prodrome. sent3: the bowfin does cleave aggravation but it does not rear pirate if the pirate does cleave aggravation. sent4: the fact that if there exists something such that the fact that it does coffin reminiscence is not false then the coffer is not a captive and is a pro is correct. sent5: if the coffer is not tribal the refuge does not rear boundary and it is not a kind of a patter. sent6: the coydog is not univalent if the refuge either does not load bowfin or does rear pirate or both. sent7: if the pirate does not cleave aggravation the refuge is irremovable and/or it cleave aggravation. sent8: the coydog loads bowfin. sent9: if something that is not a captive is a kind of a pro then it is not tribal. sent10: if that the pirate is not a prodrome is not false it cleaves aggravation. sent11: the fact that the pirate is not irremovable but it is a prodrome does not hold. sent12: the bowfin is not a graining. sent13: the bowfin is pardonable if the refuge does coffin Polypedatidae. sent14: if the bowfin does not rear pirate the refuge either does not load bowfin or does rear pirate or both. sent15: the bowfin does not load bowfin. sent16: the bowfin does cleave aggravation if the fact that it is a kind of non-irremovable a prodrome is incorrect. sent17: if the fact that the pirate does not rear pirate is not wrong that the coydog does cleave aggravation but it is not univalent is false. sent18: if something does not rear boundary it coffins Polypedatidae and/or it is pardonable. sent19: if the refuge is pardonable then the bowfin is pardonable. sent20: the vegetable does coffin reminiscence and reforms. sent21: if the fact that something cleaves aggravation but it is not univalent does not hold it is univalent.
the coydog is univalent.
sent21 -> int1: the coydog is univalent if the fact that it does cleave aggravation and it is not univalent is not right.; sent18 -> int2: if the refuge does not rear boundary it coffins Polypedatidae or it is pardonable or both.; sent9 -> int3: the coffer is not tribal if it is both not a captive and pro.; sent20 -> int4: the vegetable coffins reminiscence.; int4 -> int5: there is something such that that it coffins reminiscence is not wrong.; int5 & sent4 -> int6: the coffer is not a captive but it is a pro.; int3 & int6 -> int7: the fact that the coffer is non-tribal is not incorrect.; sent5 & int7 -> int8: the refuge does not rear boundary and it is not a patter.; int8 -> int9: the refuge does not rear boundary.; int2 & int9 -> int10: that the refuge does coffin Polypedatidae or it is pardonable or both is true.; int10 & sent13 & sent19 -> int11: that the bowfin is pardonable is right.; sent15 & int11 -> int12: the bowfin does not load bowfin and is pardonable.; int12 -> int13: there exists something such that it does not load bowfin and it is pardonable.;
$hypothesis$ = the coydog is not univalent. ; $context$ = sent1: the overgarment is irremovable. sent2: either the bowfin does not cleave aggravation or it is a kind of a prodrome or both if the pirate is not a prodrome. sent3: the bowfin does cleave aggravation but it does not rear pirate if the pirate does cleave aggravation. sent4: the fact that if there exists something such that the fact that it does coffin reminiscence is not false then the coffer is not a captive and is a pro is correct. sent5: if the coffer is not tribal the refuge does not rear boundary and it is not a kind of a patter. sent6: the coydog is not univalent if the refuge either does not load bowfin or does rear pirate or both. sent7: if the pirate does not cleave aggravation the refuge is irremovable and/or it cleave aggravation. sent8: the coydog loads bowfin. sent9: if something that is not a captive is a kind of a pro then it is not tribal. sent10: if that the pirate is not a prodrome is not false it cleaves aggravation. sent11: the fact that the pirate is not irremovable but it is a prodrome does not hold. sent12: the bowfin is not a graining. sent13: the bowfin is pardonable if the refuge does coffin Polypedatidae. sent14: if the bowfin does not rear pirate the refuge either does not load bowfin or does rear pirate or both. sent15: the bowfin does not load bowfin. sent16: the bowfin does cleave aggravation if the fact that it is a kind of non-irremovable a prodrome is incorrect. sent17: if the fact that the pirate does not rear pirate is not wrong that the coydog does cleave aggravation but it is not univalent is false. sent18: if something does not rear boundary it coffins Polypedatidae and/or it is pardonable. sent19: if the refuge is pardonable then the bowfin is pardonable. sent20: the vegetable does coffin reminiscence and reforms. sent21: if the fact that something cleaves aggravation but it is not univalent does not hold it is univalent. ; $proof$ = 
__UNKNOWN__