the fact that there exists something such that if that it is not antipollution is not false then the fact that it is not nonoperational and is a kind of a crabgrass is wrong is false.
sent1: that something is not nonoperational but it is a crabgrass does not hold if it is not antipollution.
sent1 -> int1: the fact that that the bustard is not nonoperational but it is a crabgrass does not hold is not false if it is not antipollution.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not antipollution is not false then the fact that it is not nonoperational and is a kind of a crabgrass is wrong is false. ; $context$ = sent1: that something is not nonoperational but it is a crabgrass does not hold if it is not antipollution. ; $proof$ = 
sent1 -> int1: the fact that that the bustard is not nonoperational but it is a crabgrass does not hold is not false if it is not antipollution.; int1 -> hypothesis; __DISPROVED__