Add Unit test to demonstrate 'generalize if necessary' scenario.

[bnouwt]

By adding this scenario (that includes transitivity) we can also print its reasoning graph, that we want to use in our video.