The bald eagle is green. The bald eagle likes the lion. The bald eagle likes the mouse. The cow likes the bald eagle. The lion needs the mouse. The mouse chases the bald eagle. The mouse is blue. The mouse is green. The mouse is young. The mouse needs the bald eagle. If someone is green and they like the mouse then they like the lion. If someone likes the lion then they need the cow. If the mouse chases the cow and the cow likes the mouse then the mouse needs the bald eagle. If the cow chases the bald eagle and the bald eagle likes the mouse then the bald eagle is round. If someone chases the lion and they like the cow then the lion is young. Round people are blue. If someone chases the cow then the cow likes the bald eagle. If someone chases the lion and the lion is green then the lion likes the mouse.
The cow chases the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the lion.[(triple2 OR ((triple1 triple3) -> rule1))] The bald eagle likes the mouse.[(triple3)] The cow likes the bald eagle.[(triple4)] The lion needs the mouse.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is young.[(triple9)] The mouse needs the bald eagle.[(triple10)] @1: The bald eagle needs the cow.[(((triple2) -> rule2) OR ((((triple1 triple3) -> rule1)) -> rule2))]