The bear is big. The cat is big. The dog chases the cat. The tiger needs the dog. If someone is big then they are cold. If someone chases the dog then they are young. If someone likes the cat then the cat is young. If someone chases the dog and they are kind then the dog chases the tiger. If someone likes the cat and the cat needs the tiger then they chase the bear. If someone chases the dog and the dog needs the tiger then the tiger needs the dog.
The tiger does not need the dog.
@0: The bear is big.[(triple1)] The cat is big.[(triple2)] The dog chases the cat.[(triple3)] The tiger needs the dog.[(triple4)] @1: The bear is cold.[(((triple1) -> rule1))] The cat is cold.[(((triple2) -> rule1))]