Find!
x1 asserts falsehood x2 towards x3 in order to hide x1's knowledge from x4.
x1 asserts falsehood x2 towards x3 as a means to mislead x4 into believing that x1 does not know x2.