How can all this be formalized? At the beginning, we attributed the predicate "no" to Thomas as a direct response to our question. This is a physical predicate "F". We can call the attribution of Thomas' belief that the relationship cannot continue "m". From "Fx", we cannot deduce "mx". On the basis of the hypothesis that a person who is angry is not capable of examining their own opinions clearly, we asked Thomas if he was angry. We ascribed to him the mental predicate "m1" and the physical predicate "F1" (the answer "yes" to the question whether he is angry). Now, we can deduce "m1" (the fact that he is angry) from "F1". But from "m1" and "F1", we can deduce neither "m" (the fact that Thomas believes the relationship cannot continue) nor "not m". So we continue by attributing the next physical predicate "F2" (the positive answer to our question whether he will be of the same opinion in one month).