#include <bits/stdc++.h>
using namespace std;
string s, s1, s2;
char c[5] = {'a', 'e', 'i', 'o', 'u'};
int main() {
  int len, col, col1, col2;
  col = col1 = 0;
  col2 = 0;
  getline(cin, s);
  len = s.size();
  for (int i = 0; i < len; i++)
    for (int j = 0; j < 5; j++)
      if (s[i] == c[j]) col += 1;
  getline(cin, s1);
  len = s1.size();
  for (int i = 0; i < len; i++)
    for (int j = 0; j < 5; j++)
      if (s1[i] == c[j]) col1 += 1;
  getline(cin, s2);
  len = s2.size();
  for (int i = 0; i < len; i++)
    for (int j = 0; j < 5; j++)
      if (s2[i] == c[j]) col2 += 1;
  if (col == 5 && col1 == 7 && col2 == 5)
    printf("YES");
  else
    printf("NO");
  return 0;
}
