MathLogic: Addressing Real Life Situations through AI and Machine...