Logic-Proof-Generator Automatically generate the logic proof for an argument. This programme is ongoing and hasn't been finished yet. Example: