The bald eagle likes the mouse. The cow is green. The cow is red. The cow visits the bald eagle. The lion likes the bald eagle. The lion sees the bald eagle. The mouse is big. If someone likes the bald eagle and the bald eagle is green then the bald eagle likes the cow. If someone sees the mouse then they are round. If someone likes the bald eagle then the bald eagle is red. If someone visits the cow then they see the bald eagle. If someone is blue then they like the bald eagle. If someone likes the mouse then the mouse visits the lion.
The lion likes the mouse.
@0: The bald eagle likes the mouse.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow visits the bald eagle.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion sees the bald eagle.[(triple6)] The mouse is big.[(triple7)] @1: The bald eagle is red.[(((triple5) -> rule3))] The mouse visits the lion.[(((triple1) -> rule6))]