the adventurer does lunch penlight.
sent1: if something is not uncomplimentary then it does not ring. sent2: the armchair is eugenic. sent3: the armchair steamers. sent4: if the fricassee does not Simonize rhinencephalon and/or it does not lunch blare then the polemic is not seedless. sent5: the fact that the armchair lunches blare and it is seedless is not correct if there is something such that it is not a kind of a rings. sent6: if something is a steamer and/or it does not Simonize rhinencephalon then it does not lunch penlight. sent7: either the cragsman is eugenic or it is not shallow-draft or both. sent8: something steamers and/or it does not Simonize rhinencephalon if it is not eugenic. sent9: the adventurer lunches penlight if the polemic is not a kind of a rings and it is not seedless. sent10: something is not eugenic if it does steamer and it Simonizes rhinencephalon. sent11: if the armchair does not Simonize rhinencephalon then the fricassee does not Simonize rhinencephalon or it does not lunch blare or both. sent12: the polemic is not uncomplimentary. sent13: the fact that the fricassee is not a rings if there exists something such that that it is both not a fan and a rings is not true hold. sent14: that the polemic is not a fan and is a rings is not true.
void -> assump1: Let's assume that the armchair does Simonize rhinencephalon.; sent3 & assump1 -> int1: the armchair is a steamer that Simonizes rhinencephalon.; sent10 -> int2: the armchair is not eugenic if it does steamer and it Simonizes rhinencephalon.; int1 & int2 -> int3: the armchair is not eugenic.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the armchair does not Simonize rhinencephalon.; int5 & sent11 -> int6: the fricassee does not Simonize rhinencephalon and/or it does not lunch blare.; int6 & sent4 -> int7: the polemic is not seedless.; sent1 -> int8: if the polemic is not uncomplimentary it is not a rings.; int8 & sent12 -> int9: the polemic is not a rings.; int7 & int9 -> int10: the polemic is both not a rings and not seedless.; int10 & sent9 -> hypothesis;
the adventurer does not lunch penlight.
sent6 -> int11: the adventurer does not lunch penlight if it either is a steamer or does not Simonize rhinencephalon or both.; sent8 -> int12: if the adventurer is not eugenic it steamers or it does not Simonize rhinencephalon or both.; sent14 -> int13: there is something such that that it is not a fan and it is a rings does not hold.; int13 & sent13 -> int14: the fricassee is not a rings.; int14 -> int15: there is something such that it is not a rings.; int15 & sent5 -> int16: that the armchair does lunch blare and is seedless is not correct.; int16 -> int17: there exists something such that that it does lunch blare and is seedless does not hold.;
$hypothesis$ = the adventurer does lunch penlight. ; $context$ = sent1: if something is not uncomplimentary then it does not ring. sent2: the armchair is eugenic. sent3: the armchair steamers. sent4: if the fricassee does not Simonize rhinencephalon and/or it does not lunch blare then the polemic is not seedless. sent5: the fact that the armchair lunches blare and it is seedless is not correct if there is something such that it is not a kind of a rings. sent6: if something is a steamer and/or it does not Simonize rhinencephalon then it does not lunch penlight. sent7: either the cragsman is eugenic or it is not shallow-draft or both. sent8: something steamers and/or it does not Simonize rhinencephalon if it is not eugenic. sent9: the adventurer lunches penlight if the polemic is not a kind of a rings and it is not seedless. sent10: something is not eugenic if it does steamer and it Simonizes rhinencephalon. sent11: if the armchair does not Simonize rhinencephalon then the fricassee does not Simonize rhinencephalon or it does not lunch blare or both. sent12: the polemic is not uncomplimentary. sent13: the fact that the fricassee is not a rings if there exists something such that that it is both not a fan and a rings is not true hold. sent14: that the polemic is not a fan and is a rings is not true. ; $proof$ = 
void -> assump1: Let's assume that the armchair does Simonize rhinencephalon.; sent3 & assump1 -> int1: the armchair is a steamer that Simonizes rhinencephalon.; sent10 -> int2: the armchair is not eugenic if it does steamer and it Simonizes rhinencephalon.; int1 & int2 -> int3: the armchair is not eugenic.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the armchair does not Simonize rhinencephalon.; int5 & sent11 -> int6: the fricassee does not Simonize rhinencephalon and/or it does not lunch blare.; int6 & sent4 -> int7: the polemic is not seedless.; sent1 -> int8: if the polemic is not uncomplimentary it is not a rings.; int8 & sent12 -> int9: the polemic is not a rings.; int7 & int9 -> int10: the polemic is both not a rings and not seedless.; int10 & sent9 -> hypothesis; __PROVED__