all seawater of reptile have fan
ridley_sea_turtle is reptile. fan is not river. galápagos_green_turtle is reptile. galápagos_green_turtle is not reptile. sea_fan is not gorgonian. fan is river. olive_ridley_sea_turtle is reptile. sea_fan is gorgonian. drinker is reptile. saltwater_crocodile is reptile.