Take the following as truth: I could see the cogs turning as he calculated strategies...I got there first.
Then the following statement: "He was thinking of various ways to solve the problem but didn't come up with any. " is true, false, or inconclusive?