'Fixed the problem of inference of given fact using given fact as evidence'
'Fixed the problem of inference of given fact using given fact as evidence'