that there is something such that if it is not a glass-cutter then the fact that it is not a kind of a velar and it is not anemophilous is not true is incorrect.
sent1: if something is not a glass-cutter then that it is both not a velar and not anemophilous does not hold.
sent1 -> int1: the fact that the piculet is not a velar and it is not anemophilous is not correct if it is not a glass-cutter.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a glass-cutter then the fact that it is not a kind of a velar and it is not anemophilous is not true is incorrect. ; $context$ = sent1: if something is not a glass-cutter then that it is both not a velar and not anemophilous does not hold. ; $proof$ = 
sent1 -> int1: the fact that the piculet is not a velar and it is not anemophilous is not correct if it is not a glass-cutter.; int1 -> hypothesis; __DISPROVED__