The bald eagle is kind. The bald eagle is nice. The bald eagle visits the dog. The cow eats the dog. The cow is blue. The cow visits the dog. The dog eats the cow. The dog is blue. The dog is kind. The dog is nice. The dog is young. The dog likes the cow. If someone visits the cow then the cow visits the bald eagle. If someone eats the bald eagle and the bald eagle is big then the bald eagle likes the dog. If someone is blue and kind then they like the dog. If someone likes the bald eagle then the bald eagle visits the cow. If someone likes the cow and the cow visits the bald eagle then they visit the dog. If someone likes the cow then the cow likes the bald eagle. If the dog visits the cow and the cow visits the dog then the cow likes the dog. If someone eats the bald eagle then they like the bald eagle.
The bald eagle visits the cow.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle visits the dog.[(triple3)] The cow eats the dog.[(triple4)] The cow is blue.[(triple5)] The cow visits the dog.[(triple6)] The dog eats the cow.[(triple7)] The dog is blue.[(triple8)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is young.[(triple11)] The dog likes the cow.[(triple12)] @1: The cow likes the bald eagle.[(((triple12) -> rule6))] The dog likes the dog.[(((triple8 triple9) -> rule3))] @2: The bald eagle visits the cow.[(((((triple12) -> rule6)) -> rule4))] @3: The cow visits the bald eagle.[(((((((triple12) -> rule6)) -> rule4)) -> rule1))] @4: The dog visits the dog.[(((triple12 ((((((triple12) -> rule6)) -> rule4)) -> rule1)) -> rule5))]