the tern is autoimmune and/or is a kind of a cordgrass.
sent1: the jennet is fissile if it does not tag skim. sent2: the fact that either the tern is a kind of a steerageway or it does defuse hao or both is right. sent3: if the tern is not a kind of a steerageway it is not non-autoimmune. sent4: if something is not a contributor then it is a nine-spot. sent5: the Fuji wants if the fact that it is not a homespun and it tags skim is not right. sent6: the fact that the Fuji is not a homespun and does tag skim is not true. sent7: the Fuji is a nine-spot. sent8: either the Fuji is not non-lacrimal or it does want or both. sent9: something is autoimmune if it is not a steerageway. sent10: if the Fuji is not a contributor it is a nine-spot. sent11: if the Fuji is not nonreflective then either the tern is a steerageway or it does defuse hao or both. sent12: something that either is not a steerageway or does defuse hao or both is autoimmune. sent13: something that does want is not a contributor. sent14: the tern is not a kind of a steerageway and/or it does defuse hao if the Fuji is reflective. sent15: the Fuji does want if it does not tag skim.
sent5 & sent6 -> int1: the Fuji wants.; sent13 -> int2: if the Fuji does want it is not a contributor.; int1 & int2 -> int3: the Fuji is not a kind of a contributor.; sent12 -> int4: the tern is autoimmune if it is not a steerageway or does defuse hao or both.;
$hypothesis$ = the tern is autoimmune and/or is a kind of a cordgrass. ; $context$ = sent1: the jennet is fissile if it does not tag skim. sent2: the fact that either the tern is a kind of a steerageway or it does defuse hao or both is right. sent3: if the tern is not a kind of a steerageway it is not non-autoimmune. sent4: if something is not a contributor then it is a nine-spot. sent5: the Fuji wants if the fact that it is not a homespun and it tags skim is not right. sent6: the fact that the Fuji is not a homespun and does tag skim is not true. sent7: the Fuji is a nine-spot. sent8: either the Fuji is not non-lacrimal or it does want or both. sent9: something is autoimmune if it is not a steerageway. sent10: if the Fuji is not a contributor it is a nine-spot. sent11: if the Fuji is not nonreflective then either the tern is a steerageway or it does defuse hao or both. sent12: something that either is not a steerageway or does defuse hao or both is autoimmune. sent13: something that does want is not a contributor. sent14: the tern is not a kind of a steerageway and/or it does defuse hao if the Fuji is reflective. sent15: the Fuji does want if it does not tag skim. ; $proof$ = 
sent5 & sent6 -> int1: the Fuji wants.; sent13 -> int2: if the Fuji does want it is not a contributor.; int1 & int2 -> int3: the Fuji is not a kind of a contributor.; sent12 -> int4: the tern is autoimmune if it is not a steerageway or does defuse hao or both.; __UNKNOWN__