The bald eagle chases the rabbit. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle visits the tiger. The dog is big. The dog is green. The dog likes the tiger. The dog visits the tiger. The rabbit chases the dog. The rabbit chases the tiger. The rabbit is big. The rabbit is not kind. The rabbit is red. The rabbit does not like the tiger. The rabbit does not visit the tiger. The tiger likes the bald eagle. If the rabbit chases the tiger and the rabbit likes the bald eagle then the bald eagle chases the rabbit. If someone chases the dog and the dog is red then the dog does not like the rabbit. If someone visits the dog then the dog visits the bald eagle. If the dog visits the bald eagle then the bald eagle visits the rabbit. If someone is cold and they do not chase the rabbit then the rabbit is not kind. If someone likes the tiger and the tiger likes the rabbit then they like the dog. If someone is big then they like the dog. If someone is kind then they do not like the dog.
The dog chases the bald eagle.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle visits the tiger.[(triple4)] The dog is big.[(triple5)] The dog is green.[(triple6)] The dog likes the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit chases the tiger.[(triple10)] The rabbit does not like the tiger.[(triple14)] The rabbit does not visit the tiger.[(triple15)] The rabbit is big.[(triple11)] The rabbit is not kind.[(triple12)] The rabbit is red.[(triple13)] The tiger likes the bald eagle.[(triple16)] @1: The dog likes the dog.[(((triple5) -> rule7))] The rabbit likes the dog.[(((triple11) -> rule7))]