Now, we can deduce m1 (the fact that he is angry) from F1.
Nyt voimme johtaa m1:n (tosiseikan, että Pekka on vihainen) F1:stä.