Anchor: That's basically a mathematical proposition, which I have translated into English in this column.
Entailed: I've written out the mathematical proposition in English that's easier to understand.
Contradiction: I've reproduced the mathematical proposition in its original state.
Contradiction: The boy is underwater.
Contradiction: Depending on the season, you can catch many types of fish just beyond Madeira's shallow waters.
Contradiction: A female did not get any gifts.
Contradiction: We do cruel things to animals all the time.