The objective for this lab is to create a program which can validate deductions.

The program should accept as an input a series of premises followed by a deduction. The program will then validate the deduction and determine whether it is valid or invalid. Once a determination has been made, the program will output the demonstration $($proof$)$ that the deduction was valid or invalid.

Premises will be entered into the program a single line at a time followed by the deduction.

$($m $$b$)->$ j

$($f $$ s$)->$ m

b $->$ t

f $->$t

f

$$ j

Although Rust uses UTF$-8$ for characters, it is not supported by most terminals. Instead of the UTF$-8$ characters use the following table of substitutes: