This is the Proof Machine in sandbox mode, with no fixed fields and one can enter lines as premises.

For an example problem in fixed mode, go here.