the ketoprofen is not a note and/or it is a powerbroker.
sent1: the runner-up is not an abolition or it is Andean or both. sent2: the runner-up hands. sent3: if that something does not refrain stator is right then that it is not a kind of a powerbroker and it is a note is false. sent4: if the fact that something does not assemble aphasic and does not designate does not hold then it is not a note. sent5: the untouchable assembles manometer and it assembles aphasic. sent6: the fact that the emigrant does not note and it does not gorge Kennewick is not true if it does refrain botulism. sent7: if something that is not a kind of a powerbroker is a metatherian the ketoprofen is not a note. sent8: that the maltha is not a metatherian and not a Myocastor does not hold. sent9: something is a marginality. sent10: if the runner-up does assemble aphasic but it does not refrain Sinology then the choppiness does refrain Sinology. sent11: if something refrains Sinology then it does not refrain zeal and is mensal. sent12: the runner-up does assemble pichiciago. sent13: there is something such that it assembles yam and it is pyknotic. sent14: the orphrey does not hand and/or it is a nankeen. sent15: the runner-up assembles aphasic and it hands. sent16: the fact that the ketoprofen is not a powerbroker and does refrain zeal is not right if the fact that it is incontinent is not wrong. sent17: the runner-up is not a metatherian. sent18: if that something does not refrain zeal and it does not designate is false it does not assemble aphasic. sent19: that the runner-up does not refrain zeal and does not designate is incorrect if it refrains Sinology. sent20: the ketoprofen does not refrain zeal. sent21: there is something such that it is a kris. sent22: if something that does not refrain Sinology is incontinent the ketoprofen does not note. sent23: something is incontinent and it refrains stator if it is not a metatherian.
void -> assump1: Let's assume that the runner-up refrains Sinology.; sent19 & assump1 -> int1: that the runner-up does not refrain zeal and it does not designate does not hold.; sent18 -> int2: if the fact that the runner-up does not refrain zeal and does not designate is incorrect it does not assemble aphasic.; int1 & int2 -> int3: the runner-up does not assemble aphasic.; sent15 -> int4: the runner-up does assemble aphasic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the runner-up does not refrain Sinology.; sent23 -> int7: the runner-up is incontinent and it refrains stator if it is not a kind of a metatherian.; int7 & sent17 -> int8: the runner-up is a kind of incontinent thing that does refrain stator.; int8 -> int9: the runner-up is incontinent.; int6 & int9 -> int10: the runner-up does not refrain Sinology but it is incontinent.; int10 -> int11: there exists something such that it does not refrain Sinology and is incontinent.; int11 & sent22 -> int12: the ketoprofen is not a note.; int12 -> hypothesis;
the choppiness does not refrain zeal and is mensal.
sent11 -> int13: if the choppiness does refrain Sinology it does not refrain zeal and it is mensal.; sent3 -> int14: if the ketoprofen does not refrain stator the fact that it is not a kind of a powerbroker and it does note is wrong.;
$hypothesis$ = the ketoprofen is not a note and/or it is a powerbroker. ; $context$ = sent1: the runner-up is not an abolition or it is Andean or both. sent2: the runner-up hands. sent3: if that something does not refrain stator is right then that it is not a kind of a powerbroker and it is a note is false. sent4: if the fact that something does not assemble aphasic and does not designate does not hold then it is not a note. sent5: the untouchable assembles manometer and it assembles aphasic. sent6: the fact that the emigrant does not note and it does not gorge Kennewick is not true if it does refrain botulism. sent7: if something that is not a kind of a powerbroker is a metatherian the ketoprofen is not a note. sent8: that the maltha is not a metatherian and not a Myocastor does not hold. sent9: something is a marginality. sent10: if the runner-up does assemble aphasic but it does not refrain Sinology then the choppiness does refrain Sinology. sent11: if something refrains Sinology then it does not refrain zeal and is mensal. sent12: the runner-up does assemble pichiciago. sent13: there is something such that it assembles yam and it is pyknotic. sent14: the orphrey does not hand and/or it is a nankeen. sent15: the runner-up assembles aphasic and it hands. sent16: the fact that the ketoprofen is not a powerbroker and does refrain zeal is not right if the fact that it is incontinent is not wrong. sent17: the runner-up is not a metatherian. sent18: if that something does not refrain zeal and it does not designate is false it does not assemble aphasic. sent19: that the runner-up does not refrain zeal and does not designate is incorrect if it refrains Sinology. sent20: the ketoprofen does not refrain zeal. sent21: there is something such that it is a kris. sent22: if something that does not refrain Sinology is incontinent the ketoprofen does not note. sent23: something is incontinent and it refrains stator if it is not a metatherian. ; $proof$ = 
void -> assump1: Let's assume that the runner-up refrains Sinology.; sent19 & assump1 -> int1: that the runner-up does not refrain zeal and it does not designate does not hold.; sent18 -> int2: if the fact that the runner-up does not refrain zeal and does not designate is incorrect it does not assemble aphasic.; int1 & int2 -> int3: the runner-up does not assemble aphasic.; sent15 -> int4: the runner-up does assemble aphasic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the runner-up does not refrain Sinology.; sent23 -> int7: the runner-up is incontinent and it refrains stator if it is not a kind of a metatherian.; int7 & sent17 -> int8: the runner-up is a kind of incontinent thing that does refrain stator.; int8 -> int9: the runner-up is incontinent.; int6 & int9 -> int10: the runner-up does not refrain Sinology but it is incontinent.; int10 -> int11: there exists something such that it does not refrain Sinology and is incontinent.; int11 & sent22 -> int12: the ketoprofen is not a note.; int12 -> hypothesis; __PROVED__