The cow does not see the tiger. The lion visits the tiger. The tiger is young. If the cow eats the tiger and the tiger eats the lion then the tiger does not see the lion. If the cow sees the lion and the lion is not cold then the cow does not see the tiger. If something is nice then it sees the lion. If something visits the lion and it sees the lion then it sees the cow. If something sees the cow and the cow visits the tiger then it visits the lion. If something is young then it visits the cow.
The lion is young.
@0: The cow does not see the tiger.[(triple1)] The lion visits the tiger.[(triple2)] The tiger is young.[(triple3)] @1: The tiger visits the cow.[(((triple3) -> rule6))]