Text this: Correctness of Fuzzy Inference Systems Based on <i>f</i>-Inclusion