The cat chases the tiger. The cat is not cold. The tiger sees the cat. If the cat chases the tiger then the tiger is not green. If something is young then it chases the tiger. If the tiger chases the cat then the cat visits the tiger. If something is cold and not young then it visits the tiger. If something visits the cat and it does not see the tiger then the tiger visits the cat. If something visits the cat and the cat sees the tiger then the cat is nice. If the tiger chases the cat then the tiger does not see the cat. If something is young and it does not visit the cat then the cat is red.
The cat does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is not cold.[(triple2)] The tiger sees the cat.[(triple3)] @1: The tiger is not green.[(((triple1) -> rule1))]