Logic Theorist A.I (logic) - Pump