the roller does flinch and does reason.
sent1: if the surpriser is not unsexy then that the Lamarckian is not unsexy and it is not a seashore is not right. sent2: if the surpriser is a barber then the roller is not a kind of a self-portrait. sent3: the fact that the Lamarckian is valvular thing that is non-saxicolous is false if it is not anticlimactic. sent4: something that is not a self-portrait flinches and reasons. sent5: that the Lamarckian is a kind of sexy a seashore is incorrect if the surpriser is not sexy. sent6: the roller flinches. sent7: the Lamarckian is not anticlimactic. sent8: the fact that the surpriser is a kind of a barber but it is not unsexy does not hold. sent9: if something is not a self-portrait the fact that it does flinch is true. sent10: that the fact that the Lamarckian is not unsexy but it is a seashore is wrong is right. sent11: if the fact that the surpriser is not a kind of a barber and is not unsexy is false the roller is not a self-portrait. sent12: the surpriser is not a barber. sent13: something is valvular if that it is not unsexy and not a seashore is false. sent14: that the Lamarckian is unsexy thing that is not a seashore is not correct.
void -> assump1: Let's assume that that the surpriser is not a barber and is sexy is not false.; assump1 -> int1: the surpriser is not unsexy.; int1 & sent1 -> int2: that the Lamarckian is not unsexy and it is not a seashore does not hold.; sent13 -> int3: if the fact that the fact that the Lamarckian is not unsexy and it is not a seashore does not hold is not incorrect then it is valvular.; int2 & int3 -> int4: the Lamarckian is valvular.; sent3 & sent7 -> int5: the fact that that the Lamarckian is a kind of valvular thing that is not saxicolous hold is incorrect.; sent4 -> int6: the roller flinches and is a kind of a reasoned if it is not a self-portrait.;
$hypothesis$ = the roller does flinch and does reason. ; $context$ = sent1: if the surpriser is not unsexy then that the Lamarckian is not unsexy and it is not a seashore is not right. sent2: if the surpriser is a barber then the roller is not a kind of a self-portrait. sent3: the fact that the Lamarckian is valvular thing that is non-saxicolous is false if it is not anticlimactic. sent4: something that is not a self-portrait flinches and reasons. sent5: that the Lamarckian is a kind of sexy a seashore is incorrect if the surpriser is not sexy. sent6: the roller flinches. sent7: the Lamarckian is not anticlimactic. sent8: the fact that the surpriser is a kind of a barber but it is not unsexy does not hold. sent9: if something is not a self-portrait the fact that it does flinch is true. sent10: that the fact that the Lamarckian is not unsexy but it is a seashore is wrong is right. sent11: if the fact that the surpriser is not a kind of a barber and is not unsexy is false the roller is not a self-portrait. sent12: the surpriser is not a barber. sent13: something is valvular if that it is not unsexy and not a seashore is false. sent14: that the Lamarckian is unsexy thing that is not a seashore is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the surpriser is not a barber and is sexy is not false.; assump1 -> int1: the surpriser is not unsexy.; int1 & sent1 -> int2: that the Lamarckian is not unsexy and it is not a seashore does not hold.; sent13 -> int3: if the fact that the fact that the Lamarckian is not unsexy and it is not a seashore does not hold is not incorrect then it is valvular.; int2 & int3 -> int4: the Lamarckian is valvular.; sent3 & sent7 -> int5: the fact that that the Lamarckian is a kind of valvular thing that is not saxicolous hold is incorrect.; sent4 -> int6: the roller flinches and is a kind of a reasoned if it is not a self-portrait.; __UNKNOWN__