(4) Modus Ponens from the instantiation of a strictly universal conditional:
For all x: Fx→Gx	Nontrivial confirmation of the 1st premise by a sample of Fs all of
a is an F	which are Gs, where this sample doesn't contain individual a.
a is a G