The cat is round. The cat visits the dog. The dog chases the lion. The dog chases the rabbit. The dog likes the rabbit. The dog visits the lion. The lion is nice. The lion is round. The lion is young. The lion likes the cat. The lion likes the dog. The lion likes the rabbit. The lion visits the dog. The lion visits the rabbit. The rabbit likes the cat. The rabbit visits the cat. If the cat chases the rabbit then the rabbit likes the cat. If someone chases the lion and the lion likes the dog then the lion is nice.
The rabbit visits the cat.
@0: The cat is round.[(triple1)] The cat visits the dog.[(triple2)] The dog chases the lion.[(triple3)] The dog chases the rabbit.[(triple4)] The dog likes the rabbit.[(triple5)] The dog visits the lion.[(triple6)] The lion is nice.[(triple7 OR ((triple3 triple11) -> rule2))] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion likes the cat.[(triple10)] The lion likes the dog.[(triple11)] The lion likes the rabbit.[(triple12)] The lion visits the dog.[(triple13)] The lion visits the rabbit.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit visits the cat.[(triple16)]