the silvervine is Wilsonian.
sent1: the fact that if something is a incubus it is not a paraphysis hold. sent2: the dropout is not an antler if it is not a Burhinidae. sent3: something is not a kind of an antler if it is Wilsonian. sent4: the dropout is not a Albugo. sent5: something that is non-aboriginal is not a Burhinidae. sent6: something is not Wilsonian if the fact that it is not aboriginal and/or it is a Albugo is not correct. sent7: if the roost is not an antler then the fact that the roll-on is not Wilsonian is not incorrect. sent8: if the roost is not a kind of a charades and/or it is not a Burhinidae then it is not a calvary. sent9: if that something is aboriginal hold it is not a kind of a charades. sent10: if either the roll-on is not a calvary or it is not a kind of an isolationist or both that it is not Wilsonian is true. sent11: if the fact that the dropout is not aboriginal is correct it is not a Burhinidae. sent12: if something is either an isolationist or a calvary or both it is not an antler. sent13: if the roll-on is not Wilsonian then the silvervine is a charades and it is Wilsonian. sent14: if that something is both not an isolationist and a calvary does not hold then it is a Burhinidae. sent15: the roost is a kind of an isolationist if the dropout is not a kind of a Burhinidae.
sent4 -> int1: the dropout is not a kind of a Albugo or it is not aboriginal or both.; sent12 -> int2: the fact that the roost is not a kind of an antler hold if it is an isolationist or it is a calvary or both.;
the silvervine is not Wilsonian.
sent6 -> int3: the silvervine is not Wilsonian if that either it is not aboriginal or it is a kind of a Albugo or both is false.; sent14 -> int4: if that the silvervine is a kind of non-isolationist a calvary is not correct then it is a Burhinidae.;
$hypothesis$ = the silvervine is Wilsonian. ; $context$ = sent1: the fact that if something is a incubus it is not a paraphysis hold. sent2: the dropout is not an antler if it is not a Burhinidae. sent3: something is not a kind of an antler if it is Wilsonian. sent4: the dropout is not a Albugo. sent5: something that is non-aboriginal is not a Burhinidae. sent6: something is not Wilsonian if the fact that it is not aboriginal and/or it is a Albugo is not correct. sent7: if the roost is not an antler then the fact that the roll-on is not Wilsonian is not incorrect. sent8: if the roost is not a kind of a charades and/or it is not a Burhinidae then it is not a calvary. sent9: if that something is aboriginal hold it is not a kind of a charades. sent10: if either the roll-on is not a calvary or it is not a kind of an isolationist or both that it is not Wilsonian is true. sent11: if the fact that the dropout is not aboriginal is correct it is not a Burhinidae. sent12: if something is either an isolationist or a calvary or both it is not an antler. sent13: if the roll-on is not Wilsonian then the silvervine is a charades and it is Wilsonian. sent14: if that something is both not an isolationist and a calvary does not hold then it is a Burhinidae. sent15: the roost is a kind of an isolationist if the dropout is not a kind of a Burhinidae. ; $proof$ = 
sent4 -> int1: the dropout is not a kind of a Albugo or it is not aboriginal or both.; sent12 -> int2: the fact that the roost is not a kind of an antler hold if it is an isolationist or it is a calvary or both.; __UNKNOWN__