The bald eagle chases the dog. The bald eagle is blue. The bald eagle is kind. The bald eagle likes the cat. The bald eagle likes the dog. The cat chases the bald eagle. The cat chases the dog. The cat is kind. The cat is young. The cat likes the bald eagle. The cat likes the dog. The dog is blue. The dog is young. The dog likes the bald eagle. The dog visits the cat. If someone likes the dog then they visit the cat.
The cat does not visit the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the dog.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat chases the dog.[(triple7)] The cat is kind.[(triple8)] The cat is young.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat likes the dog.[(triple11)] The dog is blue.[(triple12)] The dog is young.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog visits the cat.[(triple15)] @1: The bald eagle visits the cat.[(((triple5) -> rule1))] The cat visits the cat.[(((triple11) -> rule1))]