Proof the following using AND/OR trees and write a prolog to proof that Tom is Animal ? Mat Cream is_coloured Ginger like sat_on Tom is owned by Mammal Cat is caught has John is a Fur Animal Bird is_a