The cat eats the tiger. The cat likes the lion. The cat likes the tiger. The lion eats the cat. The lion is cold. The lion is kind. The lion likes the cat. The lion visits the cat. The tiger eats the cat. The tiger eats the lion. The tiger is kind. The tiger likes the lion. If someone eats the cat and they are kind then they visit the cat. If someone likes the cat and the cat visits the lion then the lion is nice. If the tiger visits the lion and the tiger visits the cat then the cat eats the lion. If someone visits the cat and they eat the lion then the cat visits the lion. If someone likes the tiger then the tiger likes the lion. If someone eats the cat then the cat is cold.
The lion does not visit the lion.
@0: The cat eats the tiger.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the tiger.[(triple3)] The lion eats the cat.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion likes the cat.[(triple7)] The lion visits the cat.[(triple8 OR ((triple4 triple6) -> rule1))] The tiger eats the cat.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is kind.[(triple11)] The tiger likes the lion.[(triple12 OR ((triple3) -> rule5))] @1: The cat is cold.[(((triple4) -> rule6) OR ((triple9) -> rule6))] The tiger visits the cat.[(((triple9 triple11) -> rule1))] @2: The cat visits the lion.[(((((triple9 triple11) -> rule1) triple10) -> rule4))] @3: The lion is nice.[(((triple7 ((((triple9 triple11) -> rule1) triple10) -> rule4)) -> rule2))]