The bald eagle is red. The bald eagle is young. The bald eagle sees the cow. The bald eagle sees the lion. The bald eagle visits the cow. The cow visits the bald eagle. The cow visits the lion. The lion is rough. The lion likes the cow. The lion visits the cow. If something likes the cow and the cow is blue then it does not like the lion. If the bald eagle sees the lion then the lion visits the bald eagle. If something sees the cow and it is not young then it likes the bald eagle. If something is rough and it visits the lion then the lion is red. If the lion does not see the bald eagle then the lion is rough. If the cow is red and the cow sees the lion then the lion sees the cow.
The lion does not like the cow.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow visits the bald eagle.[(triple6)] The cow visits the lion.[(triple7)] The lion is rough.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the cow.[(triple10)] @1: The lion visits the bald eagle.[(((triple4) -> rule2))]