the saddler is hemispherical and it is a carpal.
sent1: the fact that the saddler is both hemispherical and a carpal is not true if there exists something such that it rounds. sent2: if the saddler rounds then the utensil is a kind of a Agee. sent3: something that is a kind of a covariance is hemispherical. sent4: the fact that something is a kind of a soprano if it does not round is true. sent5: if the installation is a kind of a Arafat that murmurs downtown it does not murmur utensil. sent6: the saddler is carpal. sent7: the utensil is carpal. sent8: the installation does murmur downtown. sent9: the installation is a Arafat and it murmurs downtown. sent10: the installation does murmur utensil if the utensil is a kind of a Agee.
void -> assump1: Let's assume that the saddler is round.; sent2 & assump1 -> int1: the utensil is a Agee.; int1 & sent10 -> int2: that the installation does murmur utensil is not incorrect.; sent5 & sent9 -> int3: the installation does not murmur utensil.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the saddler is not a round.; sent4 -> int6: the saddler is a soprano if it does not round.; int5 & int6 -> int7: the saddler is a soprano.; sent3 -> int8: if the saddler is a covariance then it is hemispherical.;
that the saddler is hemispherical and a carpal is not right.
$hypothesis$ = the saddler is hemispherical and it is a carpal. ; $context$ = sent1: the fact that the saddler is both hemispherical and a carpal is not true if there exists something such that it rounds. sent2: if the saddler rounds then the utensil is a kind of a Agee. sent3: something that is a kind of a covariance is hemispherical. sent4: the fact that something is a kind of a soprano if it does not round is true. sent5: if the installation is a kind of a Arafat that murmurs downtown it does not murmur utensil. sent6: the saddler is carpal. sent7: the utensil is carpal. sent8: the installation does murmur downtown. sent9: the installation is a Arafat and it murmurs downtown. sent10: the installation does murmur utensil if the utensil is a kind of a Agee. ; $proof$ = 
void -> assump1: Let's assume that the saddler is round.; sent2 & assump1 -> int1: the utensil is a Agee.; int1 & sent10 -> int2: that the installation does murmur utensil is not incorrect.; sent5 & sent9 -> int3: the installation does not murmur utensil.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the saddler is not a round.; sent4 -> int6: the saddler is a soprano if it does not round.; int5 & int6 -> int7: the saddler is a soprano.; sent3 -> int8: if the saddler is a covariance then it is hemispherical.; __UNKNOWN__