The bald eagle eats the cow. The bald eagle is kind. The bald eagle likes the lion. The cow is nice. The cow likes the bald eagle. The dog likes the cow. The dog visits the cow. The lion likes the cow. The lion visits the bald eagle. The lion does not visit the dog. If someone eats the cow then they like the dog. If someone eats the dog and the dog eats the cow then the cow does not eat the dog. If someone eats the lion and the lion is nice then they visit the cow. If someone is rough and they visit the cow then they visit the bald eagle. If someone visits the lion and the lion is rough then the lion is young. If someone is kind and they like the dog then they are rough. If someone is big and they like the lion then the lion is big. If the dog visits the cow and the cow is not nice then the dog likes the cow.
The dog is not rough.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the lion.[(triple3)] The cow is nice.[(triple4)] The cow likes the bald eagle.[(triple5)] The dog likes the cow.[(triple6)] The dog visits the cow.[(triple7)] The lion does not visit the dog.[(triple10)] The lion likes the cow.[(triple8)] The lion visits the bald eagle.[(triple9)] @1: The bald eagle likes the dog.[(((triple1) -> rule1))] @2: The bald eagle is rough.[(((triple2 ((triple1) -> rule1)) -> rule6))]