The bald eagle chases the cat. The cat is kind. The dog eats the tiger. The tiger eats the cat. The tiger is big. The tiger likes the bald eagle. The tiger likes the dog. If someone chases the cat and the cat eats the dog then the cat chases the dog. If someone likes the tiger and they chase the tiger then they eat the bald eagle. If someone likes the dog then the dog is nice. If someone eats the dog and the dog chases the tiger then they are kind. If someone is rough and they chase the dog then they eat the tiger. Kind people are big.
The cat is not kind.
@0: The bald eagle chases the cat.[(triple1)] The cat is kind.[(triple2)] The dog eats the tiger.[(triple3)] The tiger eats the cat.[(triple4)] The tiger is big.[(triple5)] The tiger likes the bald eagle.[(triple6)] The tiger likes the dog.[(triple7)] @1: The cat is big.[(((triple2) -> rule6))] The dog is nice.[(((triple7) -> rule3))]