the douche is an alternation.
sent1: something horripilates if that it is not a kind of an effectiveness and it is not a kind of a Selkup does not hold. sent2: something that does rid babysitter is an alternation. sent3: something does horripilate if it is an effectiveness. sent4: if the fact that the berth does not rid wrecker and is not ungual does not hold then the bollworm is not ungual. sent5: if that the fact that something does not harlequin and horripilates hold does not hold that it does not horripilates hold. sent6: if the bollworm is not ungual that it is not a harlequin and horripilates is not right. sent7: if that the brougham horripilates is not false then it rids babysitter. sent8: that the brougham is not a kind of an effectiveness and it is not a Selkup is incorrect. sent9: if the brougham rids babysitter the douche is not an alternation.
sent1 -> int1: the brougham does horripilate if the fact that it is not a kind of an effectiveness and is not a Selkup is not correct.; int1 & sent8 -> int2: the brougham does horripilate.; int2 & sent7 -> int3: the brougham rids babysitter.; int3 & sent9 -> hypothesis;
the douche is an alternation.
sent2 -> int4: if the fact that the douche rids babysitter hold it is an alternation.; sent5 -> int5: if that the bollworm is not a kind of a harlequin but it does horripilate does not hold then it does not horripilate.;
$hypothesis$ = the douche is an alternation. ; $context$ = sent1: something horripilates if that it is not a kind of an effectiveness and it is not a kind of a Selkup does not hold. sent2: something that does rid babysitter is an alternation. sent3: something does horripilate if it is an effectiveness. sent4: if the fact that the berth does not rid wrecker and is not ungual does not hold then the bollworm is not ungual. sent5: if that the fact that something does not harlequin and horripilates hold does not hold that it does not horripilates hold. sent6: if the bollworm is not ungual that it is not a harlequin and horripilates is not right. sent7: if that the brougham horripilates is not false then it rids babysitter. sent8: that the brougham is not a kind of an effectiveness and it is not a Selkup is incorrect. sent9: if the brougham rids babysitter the douche is not an alternation. ; $proof$ = 
sent1 -> int1: the brougham does horripilate if the fact that it is not a kind of an effectiveness and is not a Selkup is not correct.; int1 & sent8 -> int2: the brougham does horripilate.; int2 & sent7 -> int3: the brougham rids babysitter.; int3 & sent9 -> hypothesis; __DISPROVED__