The bear visits the tiger. The cat likes the mouse. The mouse does not visit the bear. The tiger visits the bear. If someone likes the tiger and they like the bear then they do not eat the bear. If the bear visits the mouse and the mouse visits the tiger then the mouse is red. If someone visits the tiger then the tiger eats the bear.
The bear is cold.
@0: The bear visits the tiger.[(triple1)] The cat likes the mouse.[(triple2)] The mouse does not visit the bear.[(triple3)] The tiger visits the bear.[(triple4)] @1: The tiger eats the bear.[(((triple1) -> rule3))]