Fragment of FTL -- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment