The bald eagle eats the bear. The bald eagle eats the cow. The bear chases the bald eagle. The bear chases the cow. The bear eats the bald eagle. The bear likes the cow. The cow eats the bald eagle. The cow eats the bear. The tiger is red. The tiger likes the bald eagle. If someone likes the bald eagle then the bald eagle is big. If someone chases the bear and they eat the bald eagle then the bear chases the tiger. If someone is kind then they eat the bear. If someone chases the tiger and they eat the bald eagle then the tiger chases the bear. If someone likes the cow then they chase the bear. If someone eats the cow then the cow chases the bald eagle. If someone eats the cow and the cow is nice then they like the bear. If someone eats the tiger and they chase the bald eagle then the bald eagle likes the bear.
The tiger does not chase the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cow.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the cow.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear likes the cow.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the bear.[(triple8)] The tiger is red.[(triple9)] The tiger likes the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple10) -> rule1))] The bear chases the bear.[(((triple6) -> rule5))] The cow chases the bald eagle.[(((triple2) -> rule6))] @2: The bear chases the tiger.[(((((triple6) -> rule5) triple5) -> rule2))] @3: The tiger chases the bear.[(((((((triple6) -> rule5) triple5) -> rule2) triple5) -> rule4))]