The bear chases the tiger. The bear is nice. The bear likes the lion. The cat is cold. The lion eats the tiger. The lion likes the tiger. The tiger is cold. If something likes the tiger and the tiger eats the lion then the tiger does not eat the bear. If the lion chases the cat and the cat chases the tiger then the cat does not chase the bear. If something is blue then it chases the lion. If something chases the tiger then it eats the tiger. If something eats the cat then it eats the bear. If something chases the cat and it is blue then it does not like the lion.
The bear is nice.
@0: The bear chases the tiger.[(triple1)] The bear is nice.[(triple2)] The bear likes the lion.[(triple3)] The cat is cold.[(triple4)] The lion eats the tiger.[(triple5)] The lion likes the tiger.[(triple6)] The tiger is cold.[(triple7)] @1: The bear eats the tiger.[(((triple1) -> rule4))]