the South does not braid Marcionism.
sent1: if the imperial is impolitic then the sinker is not impolitic. sent2: the fact that the subsidiary is not over-the-counter is not false if it is a nafcillin. sent3: something is a kind of aphoristic thing that is not therapeutic if it is not a Terence. sent4: the fact that the imperial is not aphoristic hold if that the dipole is not a kind of a Terence and it is not aphoristic is incorrect. sent5: if that the imperial does not braid plat and it does not pray is true the sinker is impolitic. sent6: if the fact that the blackwash does citify amoralist hold that it is not moonlit and it is a kind of a Terence does not hold. sent7: if that the blackwash is non-moonlit thing that is a Terence is not true the dipole is not a Terence. sent8: the subsidiary is a nafcillin but not impolitic. sent9: the fact that something is not a Terence and it is not aphoristic is wrong if it is not therapeutic. sent10: if something is not aphoristic then it does not braid plat and it does not pray. sent11: something is not over-the-counter but it is a Briton. sent12: the South does braid Marcionism and it is a kind of a nafcillin if the sinker is not impolitic. sent13: the subsidiary is not impolitic. sent14: if something that is aphoristic is not therapeutic it does not pray. sent15: if something is not over-the-counter and is not a Briton the South does not braid Marcionism. sent16: the blackwash citifies amoralist and is hieroglyphic.
sent8 -> int1: the subsidiary is a nafcillin.;
the South braids Marcionism.
sent14 -> int2: if the dipole is aphoristic and not therapeutic it does not pray.; sent3 -> int3: if the dipole is not a Terence it is aphoristic and is not therapeutic.; sent16 -> int4: the blackwash citifies amoralist.; sent6 & int4 -> int5: that the blackwash is not moonlit but a Terence is false.; sent7 & int5 -> int6: the dipole is not a Terence.; int3 & int6 -> int7: the dipole is aphoristic thing that is not therapeutic.; int2 & int7 -> int8: the dipole does not pray.; int8 -> int9: there exists something such that it does not pray.;
$hypothesis$ = the South does not braid Marcionism. ; $context$ = sent1: if the imperial is impolitic then the sinker is not impolitic. sent2: the fact that the subsidiary is not over-the-counter is not false if it is a nafcillin. sent3: something is a kind of aphoristic thing that is not therapeutic if it is not a Terence. sent4: the fact that the imperial is not aphoristic hold if that the dipole is not a kind of a Terence and it is not aphoristic is incorrect. sent5: if that the imperial does not braid plat and it does not pray is true the sinker is impolitic. sent6: if the fact that the blackwash does citify amoralist hold that it is not moonlit and it is a kind of a Terence does not hold. sent7: if that the blackwash is non-moonlit thing that is a Terence is not true the dipole is not a Terence. sent8: the subsidiary is a nafcillin but not impolitic. sent9: the fact that something is not a Terence and it is not aphoristic is wrong if it is not therapeutic. sent10: if something is not aphoristic then it does not braid plat and it does not pray. sent11: something is not over-the-counter but it is a Briton. sent12: the South does braid Marcionism and it is a kind of a nafcillin if the sinker is not impolitic. sent13: the subsidiary is not impolitic. sent14: if something that is aphoristic is not therapeutic it does not pray. sent15: if something is not over-the-counter and is not a Briton the South does not braid Marcionism. sent16: the blackwash citifies amoralist and is hieroglyphic. ; $proof$ = 
sent8 -> int1: the subsidiary is a nafcillin.; __UNKNOWN__