TPTP Test

Clone this repo: