if the modillion is estrogenic the Belgian is both not commercial and not a seventeen.
sent1: if the Belgian is an allegiance the modillion draws. sent2: the Belgian is not a commercial but it is a seventeen. sent3: the modillion is elegant. sent4: the Belgian is not commercial if the modillion is a seventeen. sent5: something is a kind of a seventeen that powders hawksbill if it is not cinematic. sent6: the fact that the modillion is a seventeen is right if it is both not a modern and elegant. sent7: that the oilfield is a kind of a seventeen hold. sent8: the modillion is not a modern but it is elegant if it is estrogenic. sent9: the Belgian is not a kind of a commercial. sent10: the Belgian is non-commercial a seventeen if the modillion is estrogenic. sent11: if the modillion is a kind of a seventeen then the Belgian is not a commercial but it is a seventeen. sent12: the Belgian is not a commercial if the modillion is estrogenic. sent13: the modillion is not a kind of a nudnik and it is not cinematic if it is a draw. sent14: the snakeblenny is not cinematic if the modillion is not a nudnik and it is not cinematic. sent15: the modillion is elegant if it is estrogenic. sent16: the Belgian is elegant. sent17: the Belgian is a kind of non-commercial thing that is not a seventeen if the modillion is a seventeen.
void -> assump1: Let's assume that the modillion is estrogenic.; sent8 & assump1 -> int1: the modillion is both not a modern and elegant.; int1 & sent6 -> int2: the modillion is a seventeen.; int2 & sent17 -> int3: the Belgian is a kind of non-commercial thing that is not a seventeen.; [assump1] & int3 -> hypothesis;
the snakeblenny is a kind of a commercial.
sent5 -> int4: the snakeblenny is a seventeen and it does powder hawksbill if it is not cinematic.;
$hypothesis$ = if the modillion is estrogenic the Belgian is both not commercial and not a seventeen. ; $context$ = sent1: if the Belgian is an allegiance the modillion draws. sent2: the Belgian is not a commercial but it is a seventeen. sent3: the modillion is elegant. sent4: the Belgian is not commercial if the modillion is a seventeen. sent5: something is a kind of a seventeen that powders hawksbill if it is not cinematic. sent6: the fact that the modillion is a seventeen is right if it is both not a modern and elegant. sent7: that the oilfield is a kind of a seventeen hold. sent8: the modillion is not a modern but it is elegant if it is estrogenic. sent9: the Belgian is not a kind of a commercial. sent10: the Belgian is non-commercial a seventeen if the modillion is estrogenic. sent11: if the modillion is a kind of a seventeen then the Belgian is not a commercial but it is a seventeen. sent12: the Belgian is not a commercial if the modillion is estrogenic. sent13: the modillion is not a kind of a nudnik and it is not cinematic if it is a draw. sent14: the snakeblenny is not cinematic if the modillion is not a nudnik and it is not cinematic. sent15: the modillion is elegant if it is estrogenic. sent16: the Belgian is elegant. sent17: the Belgian is a kind of non-commercial thing that is not a seventeen if the modillion is a seventeen. ; $proof$ = 
void -> assump1: Let's assume that the modillion is estrogenic.; sent8 & assump1 -> int1: the modillion is both not a modern and elegant.; int1 & sent6 -> int2: the modillion is a seventeen.; int2 & sent17 -> int3: the Belgian is a kind of non-commercial thing that is not a seventeen.; [assump1] & int3 -> hypothesis; __PROVED__