From "apples are fruits", it follows (we have the implication that) "the seed of an apple is the seed of a fruit". This statement can be represented as follows: VX [Apple(x) Fruit(x Vz.z [Apple(x)ASeedof(z, x) 3x Fruit(x)ASeedof(ax)] Use resolution to prove that-CFruit (Apple) Seedof (BlackSeed, Apple)) From "apples are fruits", it follows (we have the implication that) "the seed of an apple is the seed of a fruit". This statement can be represented as follows: VX [Apple(x) Fruit(x Vz.z [Apple(x)ASeedof(z, x) 3x Fruit(x)ASeedof(ax)] Use resolution to prove that-CFruit (Apple) Seedof (BlackSeed, Apple))