The cat likes the tiger. The cat sees the tiger. The tiger is kind. The tiger is nice. The tiger is young. The tiger likes the cat. The tiger sees the cat. If something likes the cat and it does not like the tiger then the tiger sees the cat. If the tiger sees the cat then the cat is green. If something is kind and it does not eat the tiger then it is young. If something is kind and not young then it is not cold. If the tiger is cold then the tiger eats the cat. If the cat likes the tiger and the cat is young then the tiger eats the cat.
The tiger is young.
@0: The cat likes the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The tiger is kind.[(triple3)] The tiger is nice.[(triple4)] The tiger is young.[(triple5)] The tiger likes the cat.[(triple6)] The tiger sees the cat.[(triple7)] @1: The cat is green.[(((triple7) -> rule2))]