The dog likes the tiger. The mouse is red. The squirrel needs the dog. The tiger is kind. If something is red then it likes the mouse.
The tiger likes the mouse.
@0: The dog likes the tiger.[(triple1)] The mouse is red.[(triple2)] The squirrel needs the dog.[(triple3)] The tiger is kind.[(triple4)] @1: The mouse likes the mouse.[(((triple2) -> rule1))]