something is a Capetian and reinforces complementation.
sent1: the micturition does reinforce complementation. sent2: the DP is a curtailment. sent3: the naproxen is a kind of a uncial. sent4: the fact that the DP is augitic is not wrong. sent5: the DP is a kind of a Capetian. sent6: there is something such that it reinforces complementation. sent7: the naproxen is syncretic if it does reinforce complementation. sent8: there is something such that it is a Blida and reinforces complementation. sent9: if the fact that something is augitic but not Capetian is not correct then it is a Capetian. sent10: the naproxen is a Blida. sent11: if the DP is augitic the naproxen is a Capetian. sent12: there exists something such that it is a Capetian. sent13: the naproxen is a Blida if it is augitic. sent14: the walk-in is a kind of a assignee and it reinforces complementation. sent15: if the naproxen is a Blida it reinforces complementation.
sent11 & sent4 -> int1: the naproxen is a Capetian.; sent15 & sent10 -> int2: the naproxen does reinforce complementation.; int1 & int2 -> int3: the naproxen is a Capetian that reinforces complementation.; int3 -> hypothesis;
the backseat is a Capetian.
sent9 -> int4: if the fact that the backseat is augitic but it is not a Capetian is not true then the fact that it is a Capetian hold.;
$hypothesis$ = something is a Capetian and reinforces complementation. ; $context$ = sent1: the micturition does reinforce complementation. sent2: the DP is a curtailment. sent3: the naproxen is a kind of a uncial. sent4: the fact that the DP is augitic is not wrong. sent5: the DP is a kind of a Capetian. sent6: there is something such that it reinforces complementation. sent7: the naproxen is syncretic if it does reinforce complementation. sent8: there is something such that it is a Blida and reinforces complementation. sent9: if the fact that something is augitic but not Capetian is not correct then it is a Capetian. sent10: the naproxen is a Blida. sent11: if the DP is augitic the naproxen is a Capetian. sent12: there exists something such that it is a Capetian. sent13: the naproxen is a Blida if it is augitic. sent14: the walk-in is a kind of a assignee and it reinforces complementation. sent15: if the naproxen is a Blida it reinforces complementation. ; $proof$ = 
sent11 & sent4 -> int1: the naproxen is a Capetian.; sent15 & sent10 -> int2: the naproxen does reinforce complementation.; int1 & int2 -> int3: the naproxen is a Capetian that reinforces complementation.; int3 -> hypothesis; __PROVED__