The lion visits the rabbit. The mouse chases the rabbit. The mouse visits the lion. The rabbit chases the lion. The rabbit likes the tiger. The rabbit visits the lion. The tiger is big. If someone likes the tiger and the tiger chases the rabbit then the rabbit likes the lion. If someone chases the mouse and the mouse chases the tiger then they visit the mouse. If someone is big then they visit the mouse. If someone likes the mouse and they are rough then the mouse likes the rabbit. If someone is cold and they visit the mouse then they chase the tiger. If the lion chases the rabbit and the rabbit visits the tiger then the lion likes the mouse.
The rabbit likes the tiger.
@0: The lion visits the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The mouse visits the lion.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit likes the tiger.[(triple5)] The rabbit visits the lion.[(triple6)] The tiger is big.[(triple7)] @1: The tiger visits the mouse.[(((triple7) -> rule3))]