The bald eagle is not nice. The cow chases the dog. The cow chases the lion. The cow eats the bald eagle. The cow is green. The cow is nice. The cow is rough. The cow is round. The cow visits the lion. The dog eats the bald eagle. The dog is rough. The dog does not visit the lion. The lion is nice. The lion does not visit the bald eagle. The lion visits the cow. If someone is green and they visit the cow then they are big. If someone is round then they eat the dog. If someone visits the lion then they eat the dog. If someone visits the lion and the lion eats the cow then the lion is nice. If the cow visits the bald eagle and the bald eagle eats the cow then the cow eats the lion. If someone is rough and they chase the cow then the cow does not chase the bald eagle.
The lion chases the bald eagle.
@0: The bald eagle is not nice.[(triple1)] The cow chases the dog.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow is rough.[(triple7)] The cow is round.[(triple8)] The cow visits the lion.[(triple9)] The dog does not visit the lion.[(triple12)] The dog eats the bald eagle.[(triple10)] The dog is rough.[(triple11)] The lion does not visit the bald eagle.[(triple14)] The lion is nice.[(triple13)] The lion visits the cow.[(triple15)] @1: The cow eats the dog.[(((triple8) -> rule2) OR ((triple9) -> rule3))]