The lion does not eat the tiger. The lion is blue. The lion is not cold. The lion is nice. The lion is not red. The lion is rough. The lion likes the tiger. The lion does not visit the tiger. The tiger eats the lion. The tiger is cold. The tiger is red. The tiger likes the lion. If something is rough and not nice then it does not like the tiger. If something is nice then it likes the tiger. If the lion does not eat the tiger then the lion is not cold. If something eats the tiger and it is not blue then the tiger likes the lion. If something eats the lion and the lion does not like the tiger then the tiger does not eat the lion. If something eats the tiger and it visits the tiger then the tiger eats the lion.
The tiger does not like the tiger.
@0: The lion does not eat the tiger.[(triple1)] The lion does not visit the tiger.[(triple8)] The lion is blue.[(triple2)] The lion is nice.[(triple4)] The lion is not cold.[(triple3 OR ((triple1) -> rule3))] The lion is not red.[(triple5)] The lion is rough.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple4) -> rule2))] The tiger eats the lion.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger likes the lion.[(triple12)]