The party provides five kinds of fruits: strawberry, orange, blueberry, grape, and cherry.
Provide(party, strawberry) ∧ Provide(party, orange) ∧ Provide(party, blueberry) ∧ Provide(party, grape) ∧ Provide(party, cherry)