the woodcarver is hiplength.
sent1: that the woodcarver is hiplength is not wrong if there is something such that that it is both a princess and a Maalox is not true. sent2: the supermarket is a kind of a singleness. sent3: there exists something such that it does moil. sent4: if there is something such that it is a singleness and a collection the mildness does not moil. sent5: the fact that the mildness is a princess and a Maalox is wrong if it does not moil. sent6: the fact that the supermarket is not a collection is false.
sent2 & sent6 -> int1: the supermarket is a singleness and it is a collection.; int1 -> int2: something is a singleness and a collection.; int2 & sent4 -> int3: that the mildness does not moil is not false.; int3 & sent5 -> int4: that the mildness is a kind of a princess and it is a kind of a Maalox is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a princess and it is a kind of a Maalox is not right.; int5 & sent1 -> hypothesis;
$hypothesis$ = the woodcarver is hiplength. ; $context$ = sent1: that the woodcarver is hiplength is not wrong if there is something such that that it is both a princess and a Maalox is not true. sent2: the supermarket is a kind of a singleness. sent3: there exists something such that it does moil. sent4: if there is something such that it is a singleness and a collection the mildness does not moil. sent5: the fact that the mildness is a princess and a Maalox is wrong if it does not moil. sent6: the fact that the supermarket is not a collection is false. ; $proof$ = 
sent2 & sent6 -> int1: the supermarket is a singleness and it is a collection.; int1 -> int2: something is a singleness and a collection.; int2 & sent4 -> int3: that the mildness does not moil is not false.; int3 & sent5 -> int4: that the mildness is a kind of a princess and it is a kind of a Maalox is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a princess and it is a kind of a Maalox is not right.; int5 & sent1 -> hypothesis; __PROVED__