The cat is round. The dog chases the cat. The dog eats the mouse. The lion chases the cat. The lion is blue. The lion is round. The mouse is nice. If the dog visits the cat then the dog visits the mouse. If someone chases the lion then the lion visits the mouse. If someone chases the dog and the dog visits the cat then the dog is blue. If someone chases the cat then they eat the lion. If someone is nice and they visit the dog then they eat the lion. If someone chases the dog and the dog chases the cat then the dog eats the lion.
The cat chases the dog.
@0: The cat is round.[(triple1)] The dog chases the cat.[(triple2)] The dog eats the mouse.[(triple3)] The lion chases the cat.[(triple4)] The lion is blue.[(triple5)] The lion is round.[(triple6)] The mouse is nice.[(triple7)] @1: The dog eats the lion.[(((triple2) -> rule4))] The lion eats the lion.[(((triple4) -> rule4))]