A block-world situation is described by the following wffs ONTABLE(A) CLEAR(E) ONTABLE(C) CLEAR(D) ON(D,C) HEAVY(D) ON(B,A) WOODEN(B) HEAVY(B) ON(E,B)

Draw a sketch of the situation that these wffs describing

The following statements provide general knowledge about this block-world:

Every big, blue block is on a green block Each heavy wooden block is big All blocks with clear tops are blue All wooden blocks are blue

Represent these statements by a set of single-literal consequent rules. Draw a consistent AND/OR solution tree (using B-rules) that solves the problem: Which block is on a green block?