the Sarawakian does not houseclean.
sent1: the Voltaren is not non-less and it is a heath. sent2: something is a apishamore if that it is not a apishamore and not non-apteral is wrong. sent3: something housecleans if the fact that it is both a heath and not less is not right. sent4: the Voltaren is a kind of a apishamore and it is a Gonne. sent5: if something is a kind of a apishamore then it is a Gonne. sent6: that something is a heath that is not less is not correct if it is a kind of a Gonne. sent7: the Sarawakian does not houseclean if the fact that there is something such that it is both less and a Gonne is not wrong.
sent1 -> int1: the Voltaren is less.; sent4 -> int2: the Voltaren is a Gonne.; int1 & int2 -> int3: the Voltaren is less thing that is a Gonne.; int3 -> int4: something is less and it is a Gonne.; int4 & sent7 -> hypothesis;
the Sarawakian housecleans.
sent3 -> int5: the Sarawakian does houseclean if the fact that it is a heath that is not less does not hold.; sent6 -> int6: that the Sarawakian is a heath that is not less does not hold if it is a kind of a Gonne.; sent5 -> int7: that the Sarawakian is a kind of a Gonne is true if it is a apishamore.; sent2 -> int8: the Sarawakian is a apishamore if that it is not a kind of a apishamore and is apteral is incorrect.;
$hypothesis$ = the Sarawakian does not houseclean. ; $context$ = sent1: the Voltaren is not non-less and it is a heath. sent2: something is a apishamore if that it is not a apishamore and not non-apteral is wrong. sent3: something housecleans if the fact that it is both a heath and not less is not right. sent4: the Voltaren is a kind of a apishamore and it is a Gonne. sent5: if something is a kind of a apishamore then it is a Gonne. sent6: that something is a heath that is not less is not correct if it is a kind of a Gonne. sent7: the Sarawakian does not houseclean if the fact that there is something such that it is both less and a Gonne is not wrong. ; $proof$ = 
sent1 -> int1: the Voltaren is less.; sent4 -> int2: the Voltaren is a Gonne.; int1 & int2 -> int3: the Voltaren is less thing that is a Gonne.; int3 -> int4: something is less and it is a Gonne.; int4 & sent7 -> hypothesis; __PROVED__