that there exists something such that if it is seraphic it does not orb is wrong.
sent1: something is not matriarchal if it orbs. sent2: the outcaste is not a kind of a voyage if it is seraphic. sent3: the outcaste orbs if it is seraphic. sent4: the outcaste is not a warble if it does adjure. sent5: there exists something such that if it is a breadboard it is not a bombshell. sent6: the outcaste is not seraphic if it is a meow. sent7: the outcaste does not orb if it is seraphic. sent8: something is not carcinomatous if it is a Aspalathus. sent9: there is something such that if that it is a kind of a Vultur is not false it does not pronate. sent10: there is something such that if it tingles then it is not neurogenic. sent11: something that orbs does not intercommunicate. sent12: the fact that the floorwalker is not seraphic is right if it is a kind of a woolsorter. sent13: there is something such that if it is seraphic then it does orb.
sent7 -> hypothesis;
there is something such that if it is a Aspalathus it is not carcinomatous.
sent8 -> int1: if the maikoa is a Aspalathus then it is non-carcinomatous.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is seraphic it does not orb is wrong. ; $context$ = sent1: something is not matriarchal if it orbs. sent2: the outcaste is not a kind of a voyage if it is seraphic. sent3: the outcaste orbs if it is seraphic. sent4: the outcaste is not a warble if it does adjure. sent5: there exists something such that if it is a breadboard it is not a bombshell. sent6: the outcaste is not seraphic if it is a meow. sent7: the outcaste does not orb if it is seraphic. sent8: something is not carcinomatous if it is a Aspalathus. sent9: there is something such that if that it is a kind of a Vultur is not false it does not pronate. sent10: there is something such that if it tingles then it is not neurogenic. sent11: something that orbs does not intercommunicate. sent12: the fact that the floorwalker is not seraphic is right if it is a kind of a woolsorter. sent13: there is something such that if it is seraphic then it does orb. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__