The bald eagle likes the rabbit. The cow sees the rabbit. The mouse sees the cow. The rabbit sees the bald eagle. If someone is round then they like the bald eagle. If someone sees the bald eagle then the bald eagle likes the rabbit. If someone is round and they see the mouse then the mouse visits the cow.
The cow does not like the bald eagle.
@0: The bald eagle likes the rabbit.[(triple1 OR ((triple4) -> rule2))] The cow sees the rabbit.[(triple2)] The mouse sees the cow.[(triple3)] The rabbit sees the bald eagle.[(triple4)]