code: boolean rule5(final IFactory factory, final Inclusion[] gcis) {
          boolean result = false;
  
          if (!(lhs instanceof Concept) && !(rhs instanceof Concept)) {
              result = true;
              Concept a = getA(factory, lhs);
              gcis[0] = new GCI(lhs, a);
              gcis[1] = new GCI(a, rhs);
          }
  
          return result;
      }
docs: C' &#8849; D' &rarr; {C' &#8849; A, A &#8849; D'}
  
  @param gcis
  @return