that the webworm is a kind of a heavyweight and/or it does shuck does not hold.
sent1: if that something does count webworm and is indelicate is wrong it is not a Laughton. sent2: that the radar is bicameral or is a callosity or both is not true if it does not count yew. sent3: if the webworm is a Booth then the abbe is a heavyweight. sent4: if the laureate is a callosity then that it does not grade radar and is not bicameral hold. sent5: if there exists something such that the fact that it is either bicameral or a callosity or both is not correct the abbe grades radar. sent6: if something is not a Laughton then the fact that it is a heavyweight and/or does shuck does not hold. sent7: if something is a kind of a Laughton the laureate is indelicate. sent8: the abbe is a kind of a Booth if the fact that the laureate does count webworm or is not indelicate or both is wrong. sent9: the radar does not count yew. sent10: the fact that if the fact that the laureate does count webworm or it is indelicate or both is not right then the abbe is a Booth is true. sent11: the laureate is a kind of a worse but it is not a kind of a hee-haw if it stumbles Carnot. sent12: the fact that something counts webworm and is indelicate is not true if it is not a Booth. sent13: the laureate does stumble Carnot. sent14: if that something is a kind of a Booth and it does count webworm is incorrect it is not a Laughton. sent15: there is something such that it is a Laughton. sent16: if the laureate is both worse and not a hee-haw it is indelicate. sent17: the radar is a Booth if the abbe does grade radar. sent18: the radar grades radar if the abbe is a Booth. sent19: if the fact that the radar does grade radar is not false the webworm is a heavyweight. sent20: the laureate is indelicate. sent21: that the laureate counts webworm and/or is not indelicate is wrong if there is something such that the fact that it is a Laughton is right.
sent15 & sent21 -> int1: that that the laureate either does count webworm or is decorous or both is not right hold.; sent8 & int1 -> int2: the abbe is a Booth.; sent18 & int2 -> int3: the radar grades radar.; sent19 & int3 -> int4: the fact that the webworm is a heavyweight is correct.; int4 -> hypothesis;
that the webworm is a heavyweight and/or it shucks is not true.
sent6 -> int5: the fact that the webworm is a heavyweight and/or it shucks is not true if it is not a Laughton.; sent1 -> int6: the webworm is not a Laughton if the fact that it does count webworm and it is indelicate is false.; sent12 -> int7: if that the webworm is not a Booth is not false that it does count webworm and it is indelicate is not correct.;
$hypothesis$ = that the webworm is a kind of a heavyweight and/or it does shuck does not hold. ; $context$ = sent1: if that something does count webworm and is indelicate is wrong it is not a Laughton. sent2: that the radar is bicameral or is a callosity or both is not true if it does not count yew. sent3: if the webworm is a Booth then the abbe is a heavyweight. sent4: if the laureate is a callosity then that it does not grade radar and is not bicameral hold. sent5: if there exists something such that the fact that it is either bicameral or a callosity or both is not correct the abbe grades radar. sent6: if something is not a Laughton then the fact that it is a heavyweight and/or does shuck does not hold. sent7: if something is a kind of a Laughton the laureate is indelicate. sent8: the abbe is a kind of a Booth if the fact that the laureate does count webworm or is not indelicate or both is wrong. sent9: the radar does not count yew. sent10: the fact that if the fact that the laureate does count webworm or it is indelicate or both is not right then the abbe is a Booth is true. sent11: the laureate is a kind of a worse but it is not a kind of a hee-haw if it stumbles Carnot. sent12: the fact that something counts webworm and is indelicate is not true if it is not a Booth. sent13: the laureate does stumble Carnot. sent14: if that something is a kind of a Booth and it does count webworm is incorrect it is not a Laughton. sent15: there is something such that it is a Laughton. sent16: if the laureate is both worse and not a hee-haw it is indelicate. sent17: the radar is a Booth if the abbe does grade radar. sent18: the radar grades radar if the abbe is a Booth. sent19: if the fact that the radar does grade radar is not false the webworm is a heavyweight. sent20: the laureate is indelicate. sent21: that the laureate counts webworm and/or is not indelicate is wrong if there is something such that the fact that it is a Laughton is right. ; $proof$ = 
sent15 & sent21 -> int1: that that the laureate either does count webworm or is decorous or both is not right hold.; sent8 & int1 -> int2: the abbe is a Booth.; sent18 & int2 -> int3: the radar grades radar.; sent19 & int3 -> int4: the fact that the webworm is a heavyweight is correct.; int4 -> hypothesis; __DISPROVED__