#21: FOL form of input is now printed as well
also:
- flattened the call hierarchy as described in #21
- merged the one-liner `findFallaciesInSentence` into `main`
- added "thus" as conclusion word