if the following are true:

then there is a computer at location x: x y: y z: (a + b) and time: t

View as a table | Try proving it

Start from the conclusion and work back up the proof. Click the arrow to show the parents.