The dog eats the mouse. The dog is cold. The dog likes the rabbit. The dog visits the rabbit. The mouse eats the rabbit. The rabbit is nice. The rabbit likes the tiger. The rabbit visits the dog. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is nice. The tiger visits the dog. If someone visits the rabbit then they like the tiger. If someone likes the tiger then the tiger likes the dog.
The mouse is not young.
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog likes the rabbit.[(triple3)] The dog visits the rabbit.[(triple4)] The mouse eats the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit visits the dog.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger is nice.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog likes the tiger.[(((triple4) -> rule1))] The tiger likes the dog.[(((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))]