The bear chases the tiger. The bear is blue. The cat eats the bear. The lion eats the cat. The lion is blue. The tiger eats the bear. The tiger is kind. If someone chases the lion then the lion chases the tiger. If someone chases the tiger then the tiger is rough.
The lion does not chase the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The cat eats the bear.[(triple3)] The lion eats the cat.[(triple4)] The lion is blue.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is kind.[(triple7)] @1: The tiger is rough.[(((triple1) -> rule2))]