parse_implications function

Parses several implications given as a string