The bear visits the mouse. The dog likes the tiger. The mouse likes the dog. The tiger likes the bear. If someone likes the dog then they are nice. If someone eats the dog and the dog likes the bear then the bear eats the tiger. If the dog eats the bear then the bear eats the mouse. If the mouse likes the dog then the mouse eats the dog. If someone is blue then they like the bear. Cold people are blue. If the dog eats the mouse and the dog is nice then the dog is blue. If someone eats the tiger then they are cold.
The mouse likes the bear.
@0: The bear visits the mouse.[(triple1)] The dog likes the tiger.[(triple2)] The mouse likes the dog.[(triple3)] The tiger likes the bear.[(triple4)] @1: The mouse eats the dog.[(((triple3) -> rule4))] The mouse is nice.[(((triple3) -> rule1))]