The cat sees the lion. The lion does not visit the mouse. The mouse eats the tiger. The tiger visits the lion. If someone visits the tiger then they are kind. If someone visits the lion then they visit the tiger. If someone is blue and they see the cat then the cat eats the mouse.
The tiger is kind.
@0: The cat sees the lion.[(triple1)] The lion does not visit the mouse.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger visits the lion.[(triple4)] @1: The tiger visits the tiger.[(((triple4) -> rule2))] @2: The tiger is kind.[(((((triple4) -> rule2)) -> rule1))]