The cat eats the tiger. The cat is blue. The cat is kind. The cat is nice. The cat needs the lion. The cat needs the tiger. The lion eats the tiger. The lion is kind. The lion needs the tiger. The tiger eats the cat. The tiger is kind. The tiger needs the cat. If someone needs the cat and the cat is green then the cat needs the tiger. If someone needs the lion then they visit the cat. If someone eats the cat then they visit the tiger.
The cat needs the lion.
@0: The cat eats the tiger.[(triple1)] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat needs the lion.[(triple5)] The cat needs the tiger.[(triple6)] The lion eats the tiger.[(triple7)] The lion is kind.[(triple8)] The lion needs the tiger.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is kind.[(triple11)] The tiger needs the cat.[(triple12)] @1: The cat visits the cat.[(((triple5) -> rule2))] The tiger visits the tiger.[(((triple10) -> rule3))]