refactor: use problog for suspicious combinations

[art1f1c3R]

Refactor the SUSPICIOUS_COMBOS dictionary to instead use a problog model. The purpose of this is to simplify the dictionary into logical statements, and allow for future development of probabilistic rules. This model transforms the HeuristicResult types as follows:

• HeuristicResult.FAIL results in <name> :- false.
• HeuristicResult.PASS results in <name> :- true.
• HeuristicResult.SKIP results in 0.0::<name>, which means any rules which require this heuristic do not trigger.

To do:

• Simplify logical statements into a readable, yet simpler form

Current issues with including problog that need to be resolved:

• problog has no typing stubs. Currently it's just been ignored in pyproject.toml.
• problog currently causes the following warnings on tests:

=============================== warnings summary ===============================
.venv/lib/python3.11/site-packages/problog/setup.py:111
  /home/carl_flottmann/macaron/.venv/lib/python3.11/site-packages/problog/setup.py:111: DeprecationWarning: Use shutil.which instead of find_executable
    system_info["dsharp"] = distutils.spawn.find_executable("dsharp") is not None

.venv/lib/python3.11/site-packages/problog/setup.py:114
  /home/carl_flottmann/macaron/.venv/lib/python3.11/site-packages/problog/setup.py:114: DeprecationWarning: Use shutil.which instead of find_executable
    system_info["c2d"] = distutils.spawn.find_executable("cnf2dDNNF") is not None

-- Docs: https://docs.pytest.org/en/stable/how-to/capture-warnings.html

[art1f1c3R]

Poll! What is the preferred way to represent each logical rule over multiple lines:
1.

<confidence_value>::<label> :-
    statement,
    statement,
    ...,
    statement.

or 2.

<confidence_value>::<label> :- (
    statement,
    statement,
    ...,
    statement
).