The cat chases the rabbit. The cat is nice. The cat visits the rabbit. The dog eats the cat. The dog is red. The dog visits the lion. The dog visits the rabbit. The lion chases the rabbit. The lion eats the rabbit. The lion is red. The rabbit eats the dog. The rabbit visits the lion. If someone chases the rabbit then they chase the lion. If someone chases the lion then they visit the rabbit. If someone is nice and they eat the rabbit then they eat the dog. If someone is cold then they visit the lion. If someone visits the lion then they are red. If someone visits the dog then they eat the dog.
The lion chases the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat visits the rabbit.[(triple3 OR ((((triple1) -> rule1)) -> rule2))] The dog eats the cat.[(triple4)] The dog is red.[(triple5 OR ((triple6) -> rule5))] The dog visits the lion.[(triple6)] The dog visits the rabbit.[(triple7)] The lion chases the rabbit.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is red.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cat chases the lion.[(((triple1) -> rule1))] The lion chases the lion.[(((triple8) -> rule1))] The rabbit is red.[(((triple12) -> rule5))] @2: The lion visits the rabbit.[(((((triple8) -> rule1)) -> rule2))]