class_a is_a(class_a, if_a) yes is_a(class_a, if_b) no is_a(class_a, if_c) no is_a(class_a, if_d) no is_a(class_a, if_e) no class_b is_a(class_b, if_a) yes is_a(class_b, if_b) yes is_a(class_b, if_c) no is_a(class_b, if_d) no is_a(class_b, if_e) no class_c is_a(class_c, if_a) yes is_a(class_c, if_b) yes is_a(class_c, if_c) yes is_a(class_c, if_d) no is_a(class_c, if_e) no class_d is_a(class_d, if_a) yes is_a(class_d, if_b) yes is_a(class_d, if_c) no is_a(class_d, if_d) yes is_a(class_d, if_e) no class_e is_a(class_e, if_a) yes is_a(class_e, if_b) yes is_a(class_e, if_c) yes is_a(class_e, if_d) yes is_a(class_e, if_e) no class_f is_a(class_f, if_a) no is_a(class_f, if_b) no is_a(class_f, if_c) no is_a(class_f, if_d) no is_a(class_f, if_e) yes class_g is_a(class_g, if_a) yes is_a(class_g, if_b) yes is_a(class_g, if_c) yes is_a(class_g, if_d) yes is_a(class_g, if_e) no