The cat is nice. The cat needs the tiger. The cat visits the lion. The lion chases the tiger. The lion is blue. The lion needs the cat. The lion visits the cat. The tiger chases the cat. The tiger is blue. The tiger needs the cat. The tiger visits the cat. The tiger visits the lion. If something needs the cat and the cat is rough then it visits the tiger. If something chases the tiger then it visits the tiger. If something is rough then it does not need the cat. If something is red and it chases the lion then the lion visits the tiger. If the cat needs the lion then the lion does not chase the tiger. If something is rough and it does not chase the lion then it is not nice.
The cat needs the cat.
@0: The cat is nice.[(triple1)] The cat needs the tiger.[(triple2)] The cat visits the lion.[(triple3)] The lion chases the tiger.[(triple4)] The lion is blue.[(triple5)] The lion needs the cat.[(triple6)] The lion visits the cat.[(triple7)] The tiger chases the cat.[(triple8)] The tiger is blue.[(triple9)] The tiger needs the cat.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion visits the tiger.[(((triple4) -> rule2))]