Two families are meeting for party.
One family consists of Jane, Robert, and Suzie, and the other consists of Juan, Maria, and Javier.
Since the house is small, three will congregate outdoors and three indoors, with both families represented in each location.
Jane is shy and insists on being in the same location as another family member, and similarly for Juan.
Suzie wants to be with Juan or Maria, and Juan wants to be with Robert or Suzie.
Since the choice for each family member is boolean, the feasibility problem is naturally modeled in propositional logic.
Draw the dependency graph and use k-resolution to achieve the degree of consistency necessary to solve the problem without backtracking.