The Wightman axioms for the fermionic Federbush model