The cat likes the dog. The dog likes the cat. The dog likes the mouse. The mouse is rough. The mouse visits the tiger. The tiger is cold. The tiger is nice. The tiger likes the cat. The tiger likes the dog. The tiger needs the mouse. If something is cold then it likes the mouse. If something likes the tiger and it visits the mouse then the mouse needs the tiger. If something is young and it visits the dog then it likes the cat.
The cat is nice.
@0: The cat likes the dog.[(triple1)] The dog likes the cat.[(triple2)] The dog likes the mouse.[(triple3)] The mouse is rough.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger is nice.[(triple7)] The tiger likes the cat.[(triple8)] The tiger likes the dog.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The tiger likes the mouse.[(((triple6) -> rule1))]