the waterer is not a Hausa and it does not campaign.
sent1: the chairlift does caper portability. sent2: if the tyramine is a kind of a Java then the shipper is sacramental. sent3: the shipper is not non-sacramental if that the tyramine is resolute is not false. sent4: the fact that if the fact that the CF bogs ignobleness and it shops somniloquist is wrong the fact that the CF does not shops somniloquist hold hold. sent5: the fact that the shipper does not caper vibration is not incorrect. sent6: the waterer is not a Hausa and it does not campaign if the shipper does not shop somniloquist. sent7: the waterer does not bog heteronym. sent8: if the fact that something does not bog heteronym is true then the fact that either it is resolute or it is a Java or both hold. sent9: if something does caper portability it does not bog heteronym. sent10: the waterer shops somniloquist. sent11: the tyramine does not bog heteronym if the fact that it does not caper portability and it does bog ignobleness is not right. sent12: if something is sacramental then it does not shop somniloquist. sent13: if the fact that the waterer is not resolute is right the tyramine does not campaign. sent14: the shipper does not caper portability. sent15: the fact that the fact that the tyramine does not caper portability but it does bog ignobleness is not correct is true. sent16: the tyramine is not sacramental if that it does not shop somniloquist and it is a kind of a Java does not hold. sent17: the shipper is not a kind of a Java.
sent8 -> int1: the tyramine is resolute and/or it is a kind of a Java if it does not bog heteronym.; sent11 & sent15 -> int2: the tyramine does not bog heteronym.; int1 & int2 -> int3: the tyramine is resolute and/or a Java.; int3 & sent3 & sent2 -> int4: the shipper is sacramental.; sent12 -> int5: the shipper does not shop somniloquist if it is sacramental.; int4 & int5 -> int6: the fact that the shipper does not shop somniloquist is true.; int6 & sent6 -> hypothesis;
the fact that the waterer is not a Hausa and it does not campaign is wrong.
$hypothesis$ = the waterer is not a Hausa and it does not campaign. ; $context$ = sent1: the chairlift does caper portability. sent2: if the tyramine is a kind of a Java then the shipper is sacramental. sent3: the shipper is not non-sacramental if that the tyramine is resolute is not false. sent4: the fact that if the fact that the CF bogs ignobleness and it shops somniloquist is wrong the fact that the CF does not shops somniloquist hold hold. sent5: the fact that the shipper does not caper vibration is not incorrect. sent6: the waterer is not a Hausa and it does not campaign if the shipper does not shop somniloquist. sent7: the waterer does not bog heteronym. sent8: if the fact that something does not bog heteronym is true then the fact that either it is resolute or it is a Java or both hold. sent9: if something does caper portability it does not bog heteronym. sent10: the waterer shops somniloquist. sent11: the tyramine does not bog heteronym if the fact that it does not caper portability and it does bog ignobleness is not right. sent12: if something is sacramental then it does not shop somniloquist. sent13: if the fact that the waterer is not resolute is right the tyramine does not campaign. sent14: the shipper does not caper portability. sent15: the fact that the fact that the tyramine does not caper portability but it does bog ignobleness is not correct is true. sent16: the tyramine is not sacramental if that it does not shop somniloquist and it is a kind of a Java does not hold. sent17: the shipper is not a kind of a Java. ; $proof$ = 
sent8 -> int1: the tyramine is resolute and/or it is a kind of a Java if it does not bog heteronym.; sent11 & sent15 -> int2: the tyramine does not bog heteronym.; int1 & int2 -> int3: the tyramine is resolute and/or a Java.; int3 & sent3 & sent2 -> int4: the shipper is sacramental.; sent12 -> int5: the shipper does not shop somniloquist if it is sacramental.; int4 & int5 -> int6: the fact that the shipper does not shop somniloquist is true.; int6 & sent6 -> hypothesis; __PROVED__