An attempt to formalise a non-trivial benchmark problem in common sense reasoning