the bolster is diabatic.
sent1: if the partner does not think Hylactophryne then it is gnostic. sent2: if the bolster is not diabatic then either it does not think Hylactophryne or it is spherical or both. sent3: the bolster is not spherical or it is diabatic or both. sent4: if a Schnabel is not allopathic then the partner is uneven. sent5: the partner is not spherical. sent6: something is pretentious if it is uneven. sent7: if something does not think Hylactophryne or is not a philodendron or both then it is gnostic. sent8: the bolster is not diabatic if the partner is pretentious and it is gnostic. sent9: something does think Simoniz if it frightens destructibility. sent10: there is something such that it is a Schnabel and is not allopathic. sent11: if the bolster does not ally it is diabatic. sent12: either the partner does not think Hylactophryne or it is not a philodendron or both if it is not spherical. sent13: the bolster is not a cryosurgery or is spherical or both. sent14: the partner either thinks Hylactophryne or is not a philodendron or both. sent15: something that is not a kind of a Dakar is lawful.
sent10 & sent4 -> int1: the partner is uneven.; sent6 -> int2: the partner is pretentious if it is uneven.; int1 & int2 -> int3: the partner is pretentious.; sent7 -> int4: the partner is gnostic if it either does not think Hylactophryne or is not a philodendron or both.; sent12 & sent5 -> int5: the partner either does not think Hylactophryne or is not a philodendron or both.; int4 & int5 -> int6: the partner is gnostic.; int3 & int6 -> int7: the partner is pretentious and gnostic.; int7 & sent8 -> hypothesis;
$hypothesis$ = the bolster is diabatic. ; $context$ = sent1: if the partner does not think Hylactophryne then it is gnostic. sent2: if the bolster is not diabatic then either it does not think Hylactophryne or it is spherical or both. sent3: the bolster is not spherical or it is diabatic or both. sent4: if a Schnabel is not allopathic then the partner is uneven. sent5: the partner is not spherical. sent6: something is pretentious if it is uneven. sent7: if something does not think Hylactophryne or is not a philodendron or both then it is gnostic. sent8: the bolster is not diabatic if the partner is pretentious and it is gnostic. sent9: something does think Simoniz if it frightens destructibility. sent10: there is something such that it is a Schnabel and is not allopathic. sent11: if the bolster does not ally it is diabatic. sent12: either the partner does not think Hylactophryne or it is not a philodendron or both if it is not spherical. sent13: the bolster is not a cryosurgery or is spherical or both. sent14: the partner either thinks Hylactophryne or is not a philodendron or both. sent15: something that is not a kind of a Dakar is lawful. ; $proof$ = 
sent10 & sent4 -> int1: the partner is uneven.; sent6 -> int2: the partner is pretentious if it is uneven.; int1 & int2 -> int3: the partner is pretentious.; sent7 -> int4: the partner is gnostic if it either does not think Hylactophryne or is not a philodendron or both.; sent12 & sent5 -> int5: the partner either does not think Hylactophryne or is not a philodendron or both.; int4 & int5 -> int6: the partner is gnostic.; int3 & int6 -> int7: the partner is pretentious and gnostic.; int7 & sent8 -> hypothesis; __DISPROVED__