The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle likes the cow. The cow chases the mouse. The cow is red. The cow likes the dog. The cow likes the mouse. The dog is big. The dog is green. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse eats the cow. If someone is big and they like the dog then they are green. If someone is red then they eat the cow. If someone eats the cow then they like the bald eagle. If the dog chases the mouse and the mouse is red then the dog eats the mouse. If someone likes the cow then they are round. If someone is red then they chase the dog. If someone is big and they eat the bald eagle then the bald eagle is green. If the cow likes the bald eagle then the bald eagle is red. If someone eats the dog then they eat the mouse.
The bald eagle is green.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2 OR ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule6))] The bald eagle likes the cow.[(triple3)] The cow chases the mouse.[(triple4)] The cow is red.[(triple5)] The cow likes the dog.[(triple6)] The cow likes the mouse.[(triple7)] The dog is big.[(triple8)] The dog is green.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse eats the bald eagle.[(triple11)] The mouse eats the cow.[(triple12)] @1: The bald eagle is round.[(((triple3) -> rule5))] The cow chases the dog.[(((triple5) -> rule6))] The cow eats the cow.[(((triple5) -> rule2))] The mouse likes the bald eagle.[(((triple12) -> rule3))] @2: The cow likes the bald eagle.[(((((triple5) -> rule2)) -> rule3))] @3: The bald eagle is red.[(((((((triple5) -> rule2)) -> rule3)) -> rule8))] @4: The bald eagle eats the cow.[(((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule2))] @5: The bald eagle likes the bald eagle.[(((((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule2)) -> rule3))]