Statement: the methyl red reading for proteus mirabilis is positive

Input Table: imvic

Step 1: Select rows where 'species' is 'proteus mirabilis'.
species indole methyl_red voges___proskauer citrate
escherichia coli positive positive negative negative
shigella spp negative positive negative negative
salmonella spp negative positive negative positive
klebsiella spp negative negative positive positive
proteus vulgaris positive positive negative negative
proteus mirabilis negative positive negative positive
enterobacter aerogenes negative negative positive positive
Step 2: Select rows where 'methyl_red' is 'positive'.
species indole methyl_red voges___proskauer citrate
proteus mirabilis negative positive negative positive
Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
species indole methyl_red voges___proskauer citrate
proteus mirabilis negative positive negative positive
Final output table:
verification_result
TRUE

Prediction: TRUE