How to write a proof sequence for an assertion
john asserted that his dog had went out to find food earlier this morning.