the butler is a kind of a Europeanization.
sent1: the Black is not Rabelaisian but it does whack if the prison is a cloning. sent2: if something whacks it does not grate. sent3: the brogan either gripes or does not tarnish xenolith or both. sent4: the concoction is not a Malpighi and/or it is not a kind of a insidiousness if the Black whacks. sent5: the Black whacks. sent6: the concoction is not a Europeanization. sent7: the prison is a cloning if it is not insolvent and does tarnish woodenness. sent8: the fact that either the concoction is not a Malpighi or it is not a insidiousness or both is not true if the butler is not Rabelaisian. sent9: the Marine is non-Rabelaisian thing that does repent caretaker. sent10: if something is Rabelaisian it is not a grating. sent11: the fact that the butler does not whack and/or is not a Europeanization is not right if the Black is not Rabelaisian. sent12: the butler is not a grating if it is Rabelaisian. sent13: the butler repents democracy. sent14: the concoction is not Rabelaisian if it is a kind of a Malpighi. sent15: something is solvent but it tarnishes woodenness if it is a roundhouse. sent16: something that is Rabelaisian is both not a grating and a Europeanization. sent17: if the butler is Rabelaisian either the concoction is a Europeanization or it is not a kind of a Malpighi or both. sent18: the butler is a Europeanization or it is not a whack or both.
void -> assump1: Let's assume that the butler is not Rabelaisian.; sent8 & assump1 -> int1: the fact that that the concoction is not a Malpighi and/or is not a insidiousness is false hold.; sent4 & sent5 -> int2: the concoction is not a Malpighi or not a insidiousness or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the butler is Rabelaisian.; sent16 -> int5: if the butler is Rabelaisian then it is not a grating but a Europeanization.; int4 & int5 -> int6: the butler is not a kind of a grating but it is a kind of a Europeanization.; int6 -> hypothesis;
the butler is not a Europeanization.
sent15 -> int7: the prison is a kind of non-insolvent thing that does tarnish woodenness if the fact that it is a roundhouse hold.;
$hypothesis$ = the butler is a kind of a Europeanization. ; $context$ = sent1: the Black is not Rabelaisian but it does whack if the prison is a cloning. sent2: if something whacks it does not grate. sent3: the brogan either gripes or does not tarnish xenolith or both. sent4: the concoction is not a Malpighi and/or it is not a kind of a insidiousness if the Black whacks. sent5: the Black whacks. sent6: the concoction is not a Europeanization. sent7: the prison is a cloning if it is not insolvent and does tarnish woodenness. sent8: the fact that either the concoction is not a Malpighi or it is not a insidiousness or both is not true if the butler is not Rabelaisian. sent9: the Marine is non-Rabelaisian thing that does repent caretaker. sent10: if something is Rabelaisian it is not a grating. sent11: the fact that the butler does not whack and/or is not a Europeanization is not right if the Black is not Rabelaisian. sent12: the butler is not a grating if it is Rabelaisian. sent13: the butler repents democracy. sent14: the concoction is not Rabelaisian if it is a kind of a Malpighi. sent15: something is solvent but it tarnishes woodenness if it is a roundhouse. sent16: something that is Rabelaisian is both not a grating and a Europeanization. sent17: if the butler is Rabelaisian either the concoction is a Europeanization or it is not a kind of a Malpighi or both. sent18: the butler is a Europeanization or it is not a whack or both. ; $proof$ = 
void -> assump1: Let's assume that the butler is not Rabelaisian.; sent8 & assump1 -> int1: the fact that that the concoction is not a Malpighi and/or is not a insidiousness is false hold.; sent4 & sent5 -> int2: the concoction is not a Malpighi or not a insidiousness or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the butler is Rabelaisian.; sent16 -> int5: if the butler is Rabelaisian then it is not a grating but a Europeanization.; int4 & int5 -> int6: the butler is not a kind of a grating but it is a kind of a Europeanization.; int6 -> hypothesis; __PROVED__