The bald eagle is green. The bald eagle is kind. The bear does not like the cow. The cow eats the bald eagle. The cow is cold. The tiger is not green. The tiger likes the cow. If the cow chases the bear and the bear does not eat the cow then the cow likes the bear. If something is red and it eats the bear then the bear does not eat the bald eagle. If the bald eagle eats the tiger and the tiger chases the bald eagle then the bald eagle likes the tiger. If something eats the bald eagle then the bald eagle does not chase the bear. If the cow is kind and the cow eats the bear then the cow is red. If the bear is not green then the bear is kind. If the tiger eats the bear then the tiger is not red. If something likes the tiger and it does not chase the tiger then it does not like the cow.
The tiger eats the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The bear does not like the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is cold.[(triple5)] The tiger is not green.[(triple6)] The tiger likes the cow.[(triple7)] @1: The bald eagle does not chase the bear.[(((triple4) -> rule4))]