The cat is cold. The rabbit does not visit the cat. The tiger is kind. If something eats the tiger and the tiger is blue then the tiger eats the rabbit. If something is kind then it visits the cat. If something eats the cat and the cat is not kind then it visits the rabbit. If the tiger sees the cat then the tiger eats the cat. If the tiger eats the cat and the cat eats the rabbit then the cat does not visit the rabbit. If something is blue and it does not eat the rabbit then it sees the cat.
The tiger is kind.
@0: The cat is cold.[(triple1)] The rabbit does not visit the cat.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger visits the cat.[(((triple3) -> rule2))]