#include <bits/stdc++.h>
using namespace std;
int main() {
  long double a, b = 0, i, d, m, n, k, sum = 0, t = 1, x = 1, z, y = 0;
  string a1, a2, a3;
  getline(cin, a1);
  getline(cin, a2);
  getline(cin, a3);
  for (int i = 0; i < a1.size(); i++) {
    if (a1[i] == 'a' || a1[i] == 'e' || a1[i] == 'i' || a1[i] == 'o' ||
        a1[i] == 'u') {
      y++;
    }
  }
  if (y != 5) {
    cout << "NO";
    exit(0);
  }
  a1 = a2;
  for (int i = 0; i < a1.size(); i++) {
    if (a1[i] == 'a' || a1[i] == 'e' || a1[i] == 'i' || a1[i] == 'o' ||
        a1[i] == 'u') {
      y++;
    }
  }
  if (y != 12) {
    cout << "NO";
    exit(0);
  }
  a1 = a3;
  for (int i = 0; i < a1.size(); i++) {
    if (a1[i] == 'a' || a1[i] == 'e' || a1[i] == 'i' || a1[i] == 'o' ||
        a1[i] == 'u') {
      y++;
    }
  }
  if (y != 17) {
    cout << "NO";
    exit(0);
  }
  cout << "YES";
  return 0;
}
