The bald eagle is young. The bald eagle likes the bear. The bald eagle likes the cow. The bear is big. The bear is nice. The bear likes the bald eagle. The bear visits the cow. The cow eats the bear. The cow likes the bear. The cow visits the bear. If something visits the bald eagle and the bald eagle is red then the bald eagle is young. If something eats the bald eagle then the bald eagle is red. If something visits the bear and it is nice then the bear likes the cow. If something is kind then it likes the cow. If something is young and it likes the cow then it is nice. If the bear is young and the bear is red then the bear is big.
The cow is not nice.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the cow.[(triple3)] The bear is big.[(triple4)] The bear is nice.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear visits the cow.[(triple7)] The cow eats the bear.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the bear.[(triple10)] @1: The bald eagle is nice.[(((triple1 triple3) -> rule5))]