The dog chases the mouse. The dog chases the tiger. The dog likes the mouse. The mouse chases the dog. The mouse likes the dog. The mouse likes the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is cold. The tiger visits the dog. If the dog visits the tiger and the dog likes the mouse then the mouse visits the tiger. If something chases the mouse then the mouse visits the tiger.
The dog does not like the mouse.
@0: The dog chases the mouse.[(triple1)] The dog chases the tiger.[(triple2)] The dog likes the mouse.[(triple3)] The mouse chases the dog.[(triple4)] The mouse likes the dog.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse visits the tiger.[(triple7 OR ((triple1) -> rule2) OR ((triple8) -> rule2))] The tiger chases the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger visits the dog.[(triple10)]