The cat chases the dog. The cat chases the tiger. The cat likes the mouse. The cat likes the tiger. The dog likes the tiger. The dog visits the tiger. The mouse chases the cat. The mouse does not like the cat. The mouse likes the dog. The mouse does not like the tiger. The mouse does not visit the cat. The tiger chases the dog. The tiger chases the mouse. The tiger is big. The tiger is nice. The tiger likes the dog. Nice things are cold. If something is nice then it visits the cat. If the mouse likes the tiger then the tiger visits the cat.
The cat likes the dog.
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2)] The cat likes the mouse.[(triple3)] The cat likes the tiger.[(triple4)] The dog likes the tiger.[(triple5)] The dog visits the tiger.[(triple6)] The mouse chases the cat.[(triple7)] The mouse does not like the cat.[(triple8)] The mouse does not like the tiger.[(triple10)] The mouse does not visit the cat.[(triple11)] The mouse likes the dog.[(triple9)] The tiger chases the dog.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger is big.[(triple14)] The tiger is nice.[(triple15)] The tiger likes the dog.[(triple16)] @1: The tiger is cold.[(((triple15) -> rule1))] The tiger visits the cat.[(((triple15) -> rule2))]