The bald eagle is young. The bear is big. The cat likes the bear. The dog chases the bear. If something visits the cat then the cat chases the bear. If the bear is nice then the bear visits the cat. If something visits the bald eagle and the bald eagle likes the bear then the bald eagle is young. If something is green and it likes the bald eagle then the bald eagle is green. If something is big then it likes the cat. If something visits the bald eagle then it likes the dog.
The bear is not big.
@0: The bald eagle is young.[(triple1)] The bear is big.[(triple2)] The cat likes the bear.[(triple3)] The dog chases the bear.[(triple4)] @1: The bear likes the cat.[(((triple2) -> rule5))]