The cat chases the dog. The cat chases the lion. The cat does not eat the dog. The dog chases the cat. The dog eats the cat. The dog does not like the cat. The dog likes the lion. The lion eats the cat. The lion is not kind. The lion likes the cat. If someone likes the lion and the lion is round then they eat the lion. If someone likes the cat then they are round. If the lion is big then the lion does not like the dog. If someone eats the lion then the lion likes the dog. If someone is green then they chase the cat. If someone eats the dog and they are not round then they chase the dog.
The cat eats the lion.
@0: The cat chases the dog.[(triple1)] The cat chases the lion.[(triple2)] The cat does not eat the dog.[(triple3)] The dog chases the cat.[(triple4)] The dog does not like the cat.[(triple6)] The dog eats the cat.[(triple5)] The dog likes the lion.[(triple7)] The lion eats the cat.[(triple8)] The lion is not kind.[(triple9)] The lion likes the cat.[(triple10)] @1: The lion is round.[(((triple10) -> rule2))] @2: The dog eats the lion.[(((triple7 ((triple10) -> rule2)) -> rule1))] @3: The lion likes the dog.[(((((triple7 ((triple10) -> rule2)) -> rule1)) -> rule4))]