In this problem you will be implementing a theorem prover for a clause logic using the resolution principle. Well-formed sentences in this logic are clauses. As mentioned in class, instead of using the implicative form, we will be using the disjunctive form, since this form is more suitable for automatic manipulation. The syntax of sentences in the clause logic is thus

In the film, zeke the zombie slayer versus the zombies from space, zeke slayed 140 zombies. in the sequel, zeke the zombie slayer versus the zombies from space, part 2, he slayed 5% more zombies. how many zombies were slain by zeke in the sequel?

Polygons efgh and e′f′g′h′ are shown on the coordinate grid: what set of transformations is performed on efgh to form e′f′g′h′? a. a translation 1 unit to the left followed by a 90-degree counterclockwise rotation about the origin b. a translation 1 unit to the right followed by a 90-degree counterclockwise rotation about the origin c. a 90-degree clockwise rotation about the origin followed by a translation 2 units to the right d. a 90-degree clockwise rotation about the origin followed by a translation 2 units to the left

Determine whether the quadrilateral below is a parallelogram. justify/explain your answer (this means back it up! give specific information that supports your decision. writing just "yes" or "no" will result in no credit.)