the limestone is not patristics.
sent1: the Jacobean is a nymphalid if that the soloist is patristics hold. sent2: if the fact that something is not a mastoid and/or it is unexchangeable is not correct it is a nymphalid. sent3: if there exists something such that it is a kind of a souse and/or it is a nymphalid then the adrenergic is not an ambivalence. sent4: if the fact that the Jacobean is patristics hold the limestone is both not patristics and not a mastoid. sent5: if the adrenergic is a nymphalid and it is Adonic the soloist is not a Adonic. sent6: if the Jacobean does not lose then it is not an ambivalence. sent7: the Jacobean is patristics and/or it is a mastoid. sent8: if there exists something such that it is a nymphalid then the adrenergic is not an ambivalence. sent9: the fact that the Jacobean is patristics hold if the adrenergic loses. sent10: if something is a nymphalid or is not an ambivalence or both it is not a souse. sent11: if the Jacobean is patristics then the limestone is not mastoid. sent12: the biplane is not an ambivalence if it loses and/or it is patristics. sent13: the ginger is not a nymphalid and it is not carpellate. sent14: the limestone is patristics if the soloist is not a Adonic. sent15: the adrenergic is a kind of a souse and it is Adonic if the Jacobean is not an ambivalence. sent16: the soloist is a souse if it is a Adonic. sent17: the soloist is a Adonic. sent18: the fact that something loses hold if it is not an ambivalence. sent19: that the biplane does lose is correct.
sent16 & sent17 -> int1: the soloist souses.; int1 -> int2: the soloist souses and/or it is a nymphalid.; int2 -> int3: there is something such that that it does souse and/or it is a kind of a nymphalid hold.; int3 & sent3 -> int4: the adrenergic is not an ambivalence.; sent18 -> int5: if the adrenergic is not an ambivalence it does lose.; int4 & int5 -> int6: the adrenergic does lose.; int6 & sent9 -> int7: the Jacobean is patristics.; int7 & sent4 -> int8: the limestone is not patristics and it is not a kind of a mastoid.; int8 -> hypothesis;
the biplane is mastoid.
sent10 -> int9: if the biplane is a nymphalid or is not an ambivalence or both it is not a kind of a souse.; sent19 -> int10: the biplane does lose and/or is patristics.; sent12 & int10 -> int11: the biplane is not a kind of an ambivalence.; int11 -> int12: the biplane is a kind of a nymphalid and/or it is not an ambivalence.; int9 & int12 -> int13: the biplane is not a souse.;
$hypothesis$ = the limestone is not patristics. ; $context$ = sent1: the Jacobean is a nymphalid if that the soloist is patristics hold. sent2: if the fact that something is not a mastoid and/or it is unexchangeable is not correct it is a nymphalid. sent3: if there exists something such that it is a kind of a souse and/or it is a nymphalid then the adrenergic is not an ambivalence. sent4: if the fact that the Jacobean is patristics hold the limestone is both not patristics and not a mastoid. sent5: if the adrenergic is a nymphalid and it is Adonic the soloist is not a Adonic. sent6: if the Jacobean does not lose then it is not an ambivalence. sent7: the Jacobean is patristics and/or it is a mastoid. sent8: if there exists something such that it is a nymphalid then the adrenergic is not an ambivalence. sent9: the fact that the Jacobean is patristics hold if the adrenergic loses. sent10: if something is a nymphalid or is not an ambivalence or both it is not a souse. sent11: if the Jacobean is patristics then the limestone is not mastoid. sent12: the biplane is not an ambivalence if it loses and/or it is patristics. sent13: the ginger is not a nymphalid and it is not carpellate. sent14: the limestone is patristics if the soloist is not a Adonic. sent15: the adrenergic is a kind of a souse and it is Adonic if the Jacobean is not an ambivalence. sent16: the soloist is a souse if it is a Adonic. sent17: the soloist is a Adonic. sent18: the fact that something loses hold if it is not an ambivalence. sent19: that the biplane does lose is correct. ; $proof$ = 
sent16 & sent17 -> int1: the soloist souses.; int1 -> int2: the soloist souses and/or it is a nymphalid.; int2 -> int3: there is something such that that it does souse and/or it is a kind of a nymphalid hold.; int3 & sent3 -> int4: the adrenergic is not an ambivalence.; sent18 -> int5: if the adrenergic is not an ambivalence it does lose.; int4 & int5 -> int6: the adrenergic does lose.; int6 & sent9 -> int7: the Jacobean is patristics.; int7 & sent4 -> int8: the limestone is not patristics and it is not a kind of a mastoid.; int8 -> hypothesis; __PROVED__