The dog is big. The dog does not like the lion. The dog visits the lion. The dog visits the rabbit. The lion is red. The lion likes the rabbit. The lion visits the dog. The rabbit chases the dog. The rabbit is red. The rabbit visits the dog. If something visits the rabbit and the rabbit chases the dog then the rabbit is not young.
The rabbit chases the dog.
@0: The dog does not like the lion.[(triple2)] The dog is big.[(triple1)] The dog visits the lion.[(triple3)] The dog visits the rabbit.[(triple4)] The lion is red.[(triple5)] The lion likes the rabbit.[(triple6)] The lion visits the dog.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The rabbit is not young.[(((triple4 triple8) -> rule1))]