The bald eagle chases the cow. The bald eagle does not chase the tiger. The bald eagle likes the tiger. The cow eats the bald eagle. The cow eats the tiger. The cow does not like the tiger. The mouse eats the bald eagle. The mouse likes the tiger. The tiger chases the cow. The tiger likes the mouse. If the bald eagle is nice then the bald eagle eats the tiger. If someone eats the mouse and the mouse likes the tiger then the mouse chases the cow. If someone chases the mouse then they eat the bald eagle. If someone is rough then they eat the bald eagle. If someone chases the tiger then the tiger eats the mouse. If someone is nice then they eat the mouse. If someone is nice and not cold then they eat the mouse. If someone chases the cow then they are nice. If someone is round then they chase the mouse.
The mouse is nice.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the tiger.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cow does not like the tiger.[(triple6)] The cow eats the bald eagle.[(triple4)] The cow eats the tiger.[(triple5)] The mouse eats the bald eagle.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The bald eagle is nice.[(((triple1) -> rule8))] The tiger is nice.[(((triple9) -> rule8))] @2: The bald eagle eats the mouse.[(((((triple1) -> rule8)) -> rule6))] The bald eagle eats the tiger.[(((((triple1) -> rule8)) -> rule1))] The tiger eats the mouse.[(((((triple9) -> rule8)) -> rule6))] @3: The mouse chases the cow.[(((((((triple1) -> rule8)) -> rule6) triple8) -> rule2) OR ((((((triple9) -> rule8)) -> rule6) triple8) -> rule2))] @4: The mouse is nice.[(((((((((triple1) -> rule8)) -> rule6) triple8) -> rule2)) -> rule8) OR ((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule8))] @5: The mouse eats the mouse.[(((((((((((triple1) -> rule8)) -> rule6) triple8) -> rule2)) -> rule8)) -> rule6) OR ((((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule8)) -> rule6))]