there exists something such that it is an allophone and it does rear Eris.
sent1: if the sirloin does not rear chador but it is a kind of an advertorial the fact that that it is not a kind of a Indian is not false is false. sent2: something is an atheist. sent3: the SOD does rear Eris. sent4: that the professional is not an advertorial but it is unrhythmical is incorrect. sent5: there is something such that the fact that it is not an allophone and is not non-Indian is not true. sent6: the SOD does attach if something is bituminoid. sent7: that the sirloin does rear chador and is an advertorial is wrong. sent8: The Eris does rear SOD. sent9: something is a blameworthiness and a fruitfulness. sent10: the fact that the SOD is an allophone is not incorrect if there is something such that the fact that it does not rear chador and is a kind of an advertorial is false. sent11: the SOD does not rear chador and is autoimmune. sent12: the waterdog butts chador. sent13: the fact that the SOD is an advertorial is true. sent14: the sirloin is not a Indian. sent15: if there exists something such that it does rear chador the subdeacon does incarnate. sent16: there exists something such that it is a Indian. sent17: the SOD is not Indian. sent18: the fact that the SOD is not a kind of a sunroof hold. sent19: there exists something such that that it rears chador and it is an advertorial is wrong. sent20: the fact that the fowl does rear Eris is not false. sent21: the sirloin does not rear chador and is an allophone.
void -> assump1: Let's assume that the sirloin does not rear chador but it is an advertorial.; sent1 & assump1 -> int1: the sirloin is a kind of a Indian.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the sirloin does not rear chador and is an advertorial is false.; int3 -> int4: there exists something such that that it does not rear chador and it is an advertorial is incorrect.; int4 & sent10 -> int5: the SOD is an allophone.; int5 & sent3 -> int6: the SOD is an allophone and it does rear Eris.; int6 -> hypothesis;
$hypothesis$ = there exists something such that it is an allophone and it does rear Eris. ; $context$ = sent1: if the sirloin does not rear chador but it is a kind of an advertorial the fact that that it is not a kind of a Indian is not false is false. sent2: something is an atheist. sent3: the SOD does rear Eris. sent4: that the professional is not an advertorial but it is unrhythmical is incorrect. sent5: there is something such that the fact that it is not an allophone and is not non-Indian is not true. sent6: the SOD does attach if something is bituminoid. sent7: that the sirloin does rear chador and is an advertorial is wrong. sent8: The Eris does rear SOD. sent9: something is a blameworthiness and a fruitfulness. sent10: the fact that the SOD is an allophone is not incorrect if there is something such that the fact that it does not rear chador and is a kind of an advertorial is false. sent11: the SOD does not rear chador and is autoimmune. sent12: the waterdog butts chador. sent13: the fact that the SOD is an advertorial is true. sent14: the sirloin is not a Indian. sent15: if there exists something such that it does rear chador the subdeacon does incarnate. sent16: there exists something such that it is a Indian. sent17: the SOD is not Indian. sent18: the fact that the SOD is not a kind of a sunroof hold. sent19: there exists something such that that it rears chador and it is an advertorial is wrong. sent20: the fact that the fowl does rear Eris is not false. sent21: the sirloin does not rear chador and is an allophone. ; $proof$ = 
void -> assump1: Let's assume that the sirloin does not rear chador but it is an advertorial.; sent1 & assump1 -> int1: the sirloin is a kind of a Indian.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the sirloin does not rear chador and is an advertorial is false.; int3 -> int4: there exists something such that that it does not rear chador and it is an advertorial is incorrect.; int4 & sent10 -> int5: the SOD is an allophone.; int5 & sent3 -> int6: the SOD is an allophone and it does rear Eris.; int6 -> hypothesis; __PROVED__