Rules of Inference play online

'Rules of Inference' is a game based on a topic from Discrete Mathematical Structures, part of my Academic curriculum. I found this concept rather interesting and thus designed this prototype game around it.

The player's goal is to correctly test the validity of arguments that the algorithm generates. An argument is a set of statements, namely one or more premises and a single conclusion. It is a given that the premises are always true and the validity of the entire argument depends on the validity of the conclusion.

The game features a complete list of valid arguments in the Help section. Test your ability to infer and sharpen it!
Happy inferring :)