One tiny typo that threw me for a loop for a second was:

> when apples are a fruit, then bananas or applies implies bananas or fruits

which should be:

> when apples are a fruit, then bananas or apples implies bananas or fruits