the countrywoman bedizens unfavorableness.
sent1: the fact that the poilu is an internationalist is not false. sent2: the fact that the enthusiast is an internationalist but it is not a kind of a federalization is incorrect if the countrywoman does not bedizen unfavorableness. sent3: if that something does bedizen unfavorableness and is electromagnetic is not correct it does not bedizen unfavorableness. sent4: the poilu is a kind of a damaged and does not contort tallow. sent5: if that the enthusiast is an internationalist but it is not a federalization is incorrect the poilu is not electromagnetic. sent6: the poilu is electromagnetic if it does damage and does not contort tallow. sent7: if that something bedizens unfavorableness and it is a federalization does not hold then it is not a kind of a federalization.
void -> assump1: Let's assume that that the countrywoman does not bedizen unfavorableness is right.; sent2 & assump1 -> int1: the fact that the enthusiast is both an internationalist and not a federalization does not hold.; int1 & sent5 -> int2: the fact that the poilu is electromagnetic is not true.; sent6 & sent4 -> int3: the poilu is electromagnetic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the Yoruba is not a federalization.
sent7 -> int5: if that the Yoruba does bedizen unfavorableness and is a federalization is not correct it is not a kind of a federalization.;
$hypothesis$ = the countrywoman bedizens unfavorableness. ; $context$ = sent1: the fact that the poilu is an internationalist is not false. sent2: the fact that the enthusiast is an internationalist but it is not a kind of a federalization is incorrect if the countrywoman does not bedizen unfavorableness. sent3: if that something does bedizen unfavorableness and is electromagnetic is not correct it does not bedizen unfavorableness. sent4: the poilu is a kind of a damaged and does not contort tallow. sent5: if that the enthusiast is an internationalist but it is not a federalization is incorrect the poilu is not electromagnetic. sent6: the poilu is electromagnetic if it does damage and does not contort tallow. sent7: if that something bedizens unfavorableness and it is a federalization does not hold then it is not a kind of a federalization. ; $proof$ = 
void -> assump1: Let's assume that that the countrywoman does not bedizen unfavorableness is right.; sent2 & assump1 -> int1: the fact that the enthusiast is both an internationalist and not a federalization does not hold.; int1 & sent5 -> int2: the fact that the poilu is electromagnetic is not true.; sent6 & sent4 -> int3: the poilu is electromagnetic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__