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