The cat chases the lion. The cat eats the lion. The cat likes the lion. The cat likes the tiger. The lion eats the tiger. The lion is kind. The lion is round. The lion likes the cat. The tiger chases the lion. The tiger likes the lion. If someone chases the tiger then the tiger chases the cat. If someone chases the cat and the cat is big then the cat chases the lion. If someone chases the lion and they like the tiger then they like the cat. If someone eats the cat then the cat is round. If someone eats the lion then they are kind. If someone likes the tiger and the tiger eats the cat then they like the cat. If someone chases the tiger and the tiger likes the cat then the tiger chases the lion. If someone chases the lion and the lion eats the cat then they eat the cat.
The tiger chases the lion.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the tiger.[(triple4)] The lion eats the tiger.[(triple5)] The lion is kind.[(triple6)] The lion is round.[(triple7)] The lion likes the cat.[(triple8)] The tiger chases the lion.[(triple9)] The tiger likes the lion.[(triple10)] @1: The cat is kind.[(((triple2) -> rule5))] The cat likes the cat.[(((triple1 triple4) -> rule3))]