The bear eats the rabbit. The dog eats the tiger. The rabbit is kind. The tiger eats the bear. If someone eats the tiger then they eat the rabbit. If someone chases the rabbit then they eat the rabbit. If the rabbit likes the dog and the dog eats the bear then the bear eats the dog. If someone likes the bear then the bear chases the tiger. If someone is rough and they like the dog then they chase the tiger. If someone eats the dog and the dog is round then the dog is red. If someone likes the tiger and the tiger is green then they like the dog. If the rabbit eats the tiger and the tiger likes the dog then the tiger chases the dog.
The rabbit is not kind.
@0: The bear eats the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The rabbit is kind.[(triple3)] The tiger eats the bear.[(triple4)] @1: The dog eats the rabbit.[(((triple2) -> rule1))]