the restrainer is dimorphic or it is not curable or both.
sent1: the wire is a dropline if the wordmonger is not an aphrodisiac. sent2: the restrainer is dimorphic if the wrongdoer governs lithophyte. sent3: the pi does headquarter embroideress. sent4: if the pi is a brier and does not govern scrubber then the gambist does inundate Bubo. sent5: if the restrainer is not a kind of a brier then it headquarters embroideress. sent6: the wordmonger is not an aphrodisiac if it is not an aphrodisiac and/or it does fudge exhibit. sent7: if something does headquarter embroideress then the fact that it is dimorphic and/or it is not curable is incorrect. sent8: the wrongdoer fudges antiestablishmentarianism if the wire does not headquarter felony and it does not fudges antiestablishmentarianism. sent9: the pi does not govern scrubber if it does not program. sent10: the restrainer is a kind of a whiting. sent11: the pi does not program. sent12: the wrongdoer governs lithophyte if the gambist does inundate Bubo. sent13: if the gambist does not govern lithophyte the pi does not inundate Bubo and does not govern scrubber. sent14: that something does not headquarter felony and it does not fudge antiestablishmentarianism hold if it does not fudge Dactylorhiza. sent15: either the wordmonger is not a kind of an aphrodisiac or it fudges exhibit or both. sent16: the gambist is not a kind of a program if the wrongdoer either program or fudges antiestablishmentarianism or both. sent17: the pi headquarters embroideress and is a brier. sent18: if something that is not a brier headquarters embroideress it does not govern scrubber. sent19: the restrainer is dimorphic and/or curable. sent20: the antitrade does inundate Bubo or does not headquarter flame-out or both if the pi does headquarter embroideress. sent21: the Bubo does headquarter embroideress. sent22: the wire is not a kind of a enormousness and does not fudge Dactylorhiza if it is a kind of a dropline. sent23: the fact that the fact that the gambist governs lithophyte and inundates Bubo does not hold if the fact that the gambist does not program is not wrong is not incorrect. sent24: if the fact that something does not govern scrubber but it is a brier is incorrect then it does headquarter embroideress.
sent17 -> int1: the pi is a brier.; sent9 & sent11 -> int2: that the pi does not govern scrubber hold.; int1 & int2 -> int3: the pi is a brier and does not govern scrubber.; int3 & sent4 -> int4: the gambist does inundate Bubo.; int4 & sent12 -> int5: the wrongdoer does govern lithophyte.; int5 & sent2 -> int6: the restrainer is dimorphic.; int6 -> hypothesis;
the gambist does not govern scrubber.
sent18 -> int7: if the gambist is not a brier but it headquarters embroideress it does not govern scrubber.;
$hypothesis$ = the restrainer is dimorphic or it is not curable or both. ; $context$ = sent1: the wire is a dropline if the wordmonger is not an aphrodisiac. sent2: the restrainer is dimorphic if the wrongdoer governs lithophyte. sent3: the pi does headquarter embroideress. sent4: if the pi is a brier and does not govern scrubber then the gambist does inundate Bubo. sent5: if the restrainer is not a kind of a brier then it headquarters embroideress. sent6: the wordmonger is not an aphrodisiac if it is not an aphrodisiac and/or it does fudge exhibit. sent7: if something does headquarter embroideress then the fact that it is dimorphic and/or it is not curable is incorrect. sent8: the wrongdoer fudges antiestablishmentarianism if the wire does not headquarter felony and it does not fudges antiestablishmentarianism. sent9: the pi does not govern scrubber if it does not program. sent10: the restrainer is a kind of a whiting. sent11: the pi does not program. sent12: the wrongdoer governs lithophyte if the gambist does inundate Bubo. sent13: if the gambist does not govern lithophyte the pi does not inundate Bubo and does not govern scrubber. sent14: that something does not headquarter felony and it does not fudge antiestablishmentarianism hold if it does not fudge Dactylorhiza. sent15: either the wordmonger is not a kind of an aphrodisiac or it fudges exhibit or both. sent16: the gambist is not a kind of a program if the wrongdoer either program or fudges antiestablishmentarianism or both. sent17: the pi headquarters embroideress and is a brier. sent18: if something that is not a brier headquarters embroideress it does not govern scrubber. sent19: the restrainer is dimorphic and/or curable. sent20: the antitrade does inundate Bubo or does not headquarter flame-out or both if the pi does headquarter embroideress. sent21: the Bubo does headquarter embroideress. sent22: the wire is not a kind of a enormousness and does not fudge Dactylorhiza if it is a kind of a dropline. sent23: the fact that the fact that the gambist governs lithophyte and inundates Bubo does not hold if the fact that the gambist does not program is not wrong is not incorrect. sent24: if the fact that something does not govern scrubber but it is a brier is incorrect then it does headquarter embroideress. ; $proof$ = 
sent17 -> int1: the pi is a brier.; sent9 & sent11 -> int2: that the pi does not govern scrubber hold.; int1 & int2 -> int3: the pi is a brier and does not govern scrubber.; int3 & sent4 -> int4: the gambist does inundate Bubo.; int4 & sent12 -> int5: the wrongdoer does govern lithophyte.; int5 & sent2 -> int6: the restrainer is dimorphic.; int6 -> hypothesis; __PROVED__