The bald eagle eats the lion. The bald eagle is young. The cow sees the dog. The cow sees the lion. The cow does not visit the bald eagle. The cow visits the dog. The dog does not eat the cow. The dog is round. The dog does not visit the bald eagle. The dog visits the cow. The lion is round. The lion is young. If someone visits the dog and they see the cow then they do not see the bald eagle. If someone visits the dog then they eat the bald eagle. If someone eats the bald eagle then the bald eagle is rough. If someone is rough then they visit the dog. If someone visits the lion and they are not nice then the lion eats the bald eagle. If someone sees the lion and the lion eats the dog then they eat the cow. If someone visits the dog then they see the cow.
The bald eagle sees the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is young.[(triple2)] The cow does not visit the bald eagle.[(triple5)] The cow sees the dog.[(triple3)] The cow sees the lion.[(triple4)] The cow visits the dog.[(triple6)] The dog does not eat the cow.[(triple7)] The dog does not visit the bald eagle.[(triple9)] The dog is round.[(triple8)] The dog visits the cow.[(triple10)] The lion is round.[(triple11)] The lion is young.[(triple12)] @1: The cow eats the bald eagle.[(((triple6) -> rule2))] The cow sees the cow.[(((triple6) -> rule7))] @2: The bald eagle is rough.[(((((triple6) -> rule2)) -> rule3))] The cow does not see the bald eagle.[(((triple6 ((triple6) -> rule7)) -> rule1))] @3: The bald eagle visits the dog.[(((((((triple6) -> rule2)) -> rule3)) -> rule4))] @4: The bald eagle eats the bald eagle.[(((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule2))] The bald eagle sees the cow.[(((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule7))] @5: The bald eagle does not see the bald eagle.[(((((((((triple6) -> rule2)) -> rule3)) -> rule4) ((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule7)) -> rule1))]