The bald eagle chases the tiger. The bald eagle is big. The bald eagle is green. The cow is big. The cow is young. The cow likes the tiger. The rabbit is round. The rabbit needs the cow. The rabbit needs the tiger. The tiger likes the cow. If someone likes the tiger and the tiger is green then they chase the rabbit. If someone is green then they chase the cow. If someone chases the rabbit and they like the tiger then the tiger needs the cow. If someone is big and they chase the bald eagle then the bald eagle needs the tiger. If someone is green and they chase the cow then they need the cow. If someone is big and they need the cow then the cow is green.
The rabbit does not chase the rabbit.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The cow is big.[(triple4)] The cow is young.[(triple5)] The cow likes the tiger.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the cow.[(triple8)] The rabbit needs the tiger.[(triple9)] The tiger likes the cow.[(triple10)] @1: The bald eagle chases the cow.[(((triple3) -> rule2))] @2: The bald eagle needs the cow.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: The cow is green.[(((triple2 ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6))] @4: The cow chases the cow.[(((((triple2 ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6)) -> rule2))] @5: The cow needs the cow.[(((((triple2 ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6) ((((triple2 ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6)) -> rule2)) -> rule5))]