Rewrote test for KbReasonerImpl