Note: The answer for this question needs to be uploaded in 3 different formats. (i) Direct final answer as text, (ii) Explanation of all steps in text, and (iii) An explanation on paper uploaded as a PDF including brief explanations in the same document. All three answers will be evaluated separately and all must be correct to secure marks. 


Using **forward chaining** find all new facts that contain a single symbol only that are known to be true and can be added in the knowledge base
For all symbols mentioned in the knowledge base, derive whether the symbols are true or false using **Backward Chaining**. 


In the direct answer, only answer the new facts obtained by using forward chaining in a sorted order in a space separated format e.g a b c d
There are no restrictions in the textual answer and the answer by on a paper as long as both are independently complete. 




Initial knowldge base is as follows
y∧v→q
y∧o→q
t
c∧v→r
v
c∧v→o
y∧r→q
v∧u→o
t∧v→y
c∧u→y