#include <bits/stdc++.h>
int main() {
  int ai = 0, bi = 0, ci = 0, i;
  char a[101], b[101], c[101];
  gets(a);
  gets(b);
  gets(c);
  for (i = 0; a[i] != '\0'; i++) {
    if (a[i] == 'a')
      ai++;
    else if (a[i] == 'e')
      ai++;
    else if (a[i] == 'i')
      ai++;
    else if (a[i] == 'o')
      ai++;
    else if (a[i] == 'u')
      ai++;
  }
  for (i = 0; b[i] != '\0'; i++) {
    if (b[i] == 'a')
      bi++;
    else if (b[i] == 'e')
      bi++;
    else if (b[i] == 'i')
      bi++;
    else if (b[i] == 'o')
      bi++;
    else if (b[i] == 'u')
      bi++;
  }
  for (i = 0; c[i] != '\0'; i++) {
    if (c[i] == 'a')
      ci++;
    else if (c[i] == 'e')
      ci++;
    else if (c[i] == 'i')
      ci++;
    else if (c[i] == 'o')
      ci++;
    else if (c[i] == 'u')
      ci++;
  }
  if (ai == 5 && bi == 7 && ci == 5)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}
