the Abyssinian is not avitaminotic but it is chancroidal.
sent1: if something is not a saurian then the fact that it is a kind of a lamprey and is not unimpressionable is not correct. sent2: if there is something such that the fact that it is not a hoosegow hold that the Abyssinian is not avitaminotic and is chancroidal is wrong. sent3: if there exists something such that it is not a caragana then the Hoover does honey ancestor. sent4: the ctene is not alternate. sent5: if the ctene is a kind of chaetal a caragana then the Orpington is not a caragana. sent6: if the Komi does torture Porzana and it is a good-king-henry the weaver is not a hoosegow. sent7: if the ctene does not alternate then it is chaetal a caragana. sent8: that the Komi is a lamprey and it is unimpressionable is not right if the weaver is not a kind of a saurian. sent9: something is a kind of a hoosegow. sent10: if something is avitaminotic then it does not torture Porzana. sent11: if there is something such that it is not a good-king-henry the fact that the Abyssinian is avitaminotic thing that does torture Porzana is wrong. sent12: something that is a kind of a hoosegow is not avitaminotic and is chancroidal. sent13: the Abyssinian is both a good-king-henry and chancroidal. sent14: the Komi tortures Porzana and it is a good-king-henry. sent15: if something does honey ancestor that it is a kind of a Philippine that does not resettle Ballistite is not true. sent16: the weaver is not saurian if there exists something such that that it is a Philippine that does not resettle Ballistite is not correct. sent17: the Komi is chancroidal if the fact that the weaver is a lamprey but it is not unimpressionable does not hold.
sent6 & sent14 -> int1: the weaver is not a hoosegow.; int1 -> int2: there exists something such that it is not a hoosegow.; int2 & sent2 -> hypothesis;
the windstorm does not torture Porzana.
sent10 -> int3: the windstorm does not torture Porzana if it is avitaminotic.; sent1 -> int4: the fact that the weaver is a lamprey but it is not unimpressionable is incorrect if it is not a saurian.;
$hypothesis$ = the Abyssinian is not avitaminotic but it is chancroidal. ; $context$ = sent1: if something is not a saurian then the fact that it is a kind of a lamprey and is not unimpressionable is not correct. sent2: if there is something such that the fact that it is not a hoosegow hold that the Abyssinian is not avitaminotic and is chancroidal is wrong. sent3: if there exists something such that it is not a caragana then the Hoover does honey ancestor. sent4: the ctene is not alternate. sent5: if the ctene is a kind of chaetal a caragana then the Orpington is not a caragana. sent6: if the Komi does torture Porzana and it is a good-king-henry the weaver is not a hoosegow. sent7: if the ctene does not alternate then it is chaetal a caragana. sent8: that the Komi is a lamprey and it is unimpressionable is not right if the weaver is not a kind of a saurian. sent9: something is a kind of a hoosegow. sent10: if something is avitaminotic then it does not torture Porzana. sent11: if there is something such that it is not a good-king-henry the fact that the Abyssinian is avitaminotic thing that does torture Porzana is wrong. sent12: something that is a kind of a hoosegow is not avitaminotic and is chancroidal. sent13: the Abyssinian is both a good-king-henry and chancroidal. sent14: the Komi tortures Porzana and it is a good-king-henry. sent15: if something does honey ancestor that it is a kind of a Philippine that does not resettle Ballistite is not true. sent16: the weaver is not saurian if there exists something such that that it is a Philippine that does not resettle Ballistite is not correct. sent17: the Komi is chancroidal if the fact that the weaver is a lamprey but it is not unimpressionable does not hold. ; $proof$ = 
sent6 & sent14 -> int1: the weaver is not a hoosegow.; int1 -> int2: there exists something such that it is not a hoosegow.; int2 & sent2 -> hypothesis; __DISPROVED__