reasoning systems based on logic 9722336