From F2, F1 and m1, we would like to deduce not m.
Predikaateista F2, F1 ja m1 haluaisimme johtaa ei m.