1% MENDEL
    2
    3% parent generation
    4ex(colour(a,red),+).
    5ex(colour(b,yellow),+).
    6
    7% f1
    8ex(colour(k(a,a),red),+).
    9ex(colour(k(a,b),red),+).
   10ex(colour(k(b,b),yellow),+).
   11
   12% parent with f1
   13ex(colour(k(a,k(a,a)),red),+).
   14ex(colour(k(a,k(a,b)),red),+).
   15ex(colour(k(a,k(b,b)),red),+).
   16ex(colour(k(b,k(a,a)),red),+).
   17ex(colour(k(b,k(a,b)),red),+).
   18ex(colour(k(b,k(a,b)),yellow),+).
   19ex(colour(k(b,k(b,b)),yellow),+).
   20
   21% f2
   22ex(colour(k(k(a,a),k(a,a)),red),+).
   23ex(colour(k(k(a,a),k(a,b)),red),+).
   24ex(colour(k(k(a,a),k(b,b)),red),+).
   25ex(colour(k(k(a,b),k(a,b)),red),+).
   26ex(colour(k(k(a,b),k(a,b)),yellow),+).
   27ex(colour(k(k(a,b),k(b,b)),red),+).
   28ex(colour(k(k(a,b),k(b,b)),yellow),+).
   29ex(colour(k(k(b,b),k(b,b)),yellow),+)