The lion eats the rabbit. The lion is kind. The lion likes the rabbit. The lion likes the tiger. The lion does not visit the rabbit. The lion visits the tiger. The rabbit does not eat the tiger. The tiger eats the lion. The tiger likes the lion. The tiger likes the rabbit. The tiger visits the lion. The tiger visits the rabbit. If something visits the lion then the lion likes the rabbit. If something likes the tiger then the tiger is cold. If the lion eats the rabbit and the rabbit visits the lion then the rabbit likes the lion. If the rabbit is young and the rabbit likes the tiger then the rabbit visits the tiger. If the tiger does not like the rabbit then the tiger is not young. If the rabbit eats the tiger and the rabbit is not cold then the tiger eats the rabbit.
The lion does not eat the rabbit.
@0: The lion does not visit the rabbit.[(triple5)] The lion eats the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion likes the rabbit.[(triple3 OR ((triple11) -> rule1))] The lion likes the tiger.[(triple4)] The lion visits the tiger.[(triple6)] The rabbit does not eat the tiger.[(triple7)] The tiger eats the lion.[(triple8)] The tiger likes the lion.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger visits the lion.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger is cold.[(((triple4) -> rule2))]